Go to the source code of this file.
Variables | |
if(!class_exists( 'MessageGroups')||!class_exists( 'PremadeMediawikiExtensionGroups')) | $cli = new CheckExtensionsCLI( $options, $argv[0] ) |
Definition in file checkExtensions.php.
if (!class_exists( 'MessageGroups')||!class_exists( 'PremadeMediawikiExtensionGroups')) $cli = new CheckExtensionsCLI( $options, $argv[0] ) |
Definition at line 24 of file checkExtensions.php.