Go to the source code of this file.
Enumerations | |
enum | MEDIAWIKI |
Variables | |
if(ini_get( 'register_globals')) | $wgRequestTime = microtime(true) |
$IP = getenv( 'MW_INSTALL_PATH' ) | |
if ($IP===false) | |
if(!function_exists( 'version_compare')||version_compare(phpversion(), '5.0.0')< 0) | $borked = str_replace( 'a', 'b', array( -1 => -1 ) ) |
if (!isset($borked[-1])) |
enum MEDIAWIKI |
Definition at line 56 of file WebStart.php.
if (!function_exists( 'version_compare')||version_compare(phpversion(), '5.0.0')< 0) $borked = str_replace( 'a', 'b', array( -1 => -1 ) ) |
$IP = getenv( 'MW_INSTALL_PATH' ) |
Definition at line 62 of file WebStart.php.
if (ini_get( 'register_globals')) $wgRequestTime = microtime(true) |
Definition at line 41 of file WebStart.php.
if(!isset($borked[-1])) |
Definition at line 89 of file WebStart.php.
Definition at line 63 of file WebStart.php.