This file is indexed.

/usr/share/php/PHP/Compat/Environment/register_argc_argv_off.php is in php-compat 1.6.0a3-2build1.

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
<?php
/**
 * Emulate enviroment register_argc_argv=off
 *
 * @category    PHP
 * @package     PHP_Compat
 * @license     LGPL - http://www.gnu.org/licenses/lgpl.html
 * @copyright   2004-2007 Aidan Lister <aidan@php.net>, Arpad Ray <arpad@php.net>
 * @link        http://php.net/manual/en/ini.core.php#ini.register-argc-argv
 * @author      Aidan Lister <aidan@php.net>
 * @version     $Revision: 274851 $
 */

if (isset($_GLOBALS['argc']) || isset($_SERVER['argc'])) {
    unset($GLOBALS['argc'], $GLOBALS['argv'], $_SERVER['argc'], $_SERVER['argv']);

    // Register the change
    //ini_set('register_argc_argv', 'off'); // Cannot be set at runtime (bug 15532)
	$GLOBALS['__PHP_Compat_ini']['register_argc_argv'] = false;
}