This file is indexed.

/usr/share/php5/skeleton/skeleton.php is in php5-dev 5.4.45-0+deb7u2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
<?php
$br = (php_sapi_name() == "cli")? "":"<br>";

if(!extension_loaded('extname')) {
	dl('extname.' . PHP_SHLIB_SUFFIX);
}
$module = 'extname';
$functions = get_extension_funcs($module);
echo "Functions available in the test extension:$br\n";
foreach($functions as $func) {
    echo $func."$br\n";
}
echo "$br\n";
$function = 'confirm_' . $module . '_compiled';
if (extension_loaded($module)) {
	$str = $function($module);
} else {
	$str = "Module $module is not compiled into PHP";
}
echo "$str\n";
?>