From 08aa4418c30cfc18ccc69a0f0f9cb9e17be6c196 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Mon, 12 Aug 2013 09:28:15 +0200 Subject: Update to MediaWiki 1.21.1 --- maintenance/checkAutoLoader.php | 63 ----------------------------------------- 1 file changed, 63 deletions(-) delete mode 100644 maintenance/checkAutoLoader.php (limited to 'maintenance/checkAutoLoader.php') diff --git a/maintenance/checkAutoLoader.php b/maintenance/checkAutoLoader.php deleted file mode 100644 index 8d0e442b..00000000 --- a/maintenance/checkAutoLoader.php +++ /dev/null @@ -1,63 +0,0 @@ -mDescription = "AutoLoader sanity checks"; - } - public function execute() { - global $wgAutoloadLocalClasses, $IP; - $files = array_unique( $wgAutoloadLocalClasses ); - - foreach ( $files as $file ) { - if ( function_exists( 'parsekit_compile_file' ) ) { - $parseInfo = parsekit_compile_file( "$IP/$file" ); - $classes = array_keys( $parseInfo['class_table'] ); - } else { - $contents = file_get_contents( "$IP/$file" ); - $m = array(); - preg_match_all( '/\n\s*class\s+([a-zA-Z0-9_]+)/', $contents, $m, PREG_PATTERN_ORDER ); - $classes = $m[1]; - } - foreach ( $classes as $class ) { - if ( !isset( $wgAutoloadLocalClasses[$class] ) ) { - // printf( "%-50s Unlisted, in %s\n", $class, $file ); - $this->output( "\t'$class' => '$file',\n" ); - } elseif ( $wgAutoloadLocalClasses[$class] !== $file ) { - $this->output( "$class: Wrong file: found in $file, listed in " . $wgAutoloadLocalClasses[$class] . "\n" ); - } - } - } - } -} - -$maintClass = "CheckAutoLoader"; -require_once( RUN_MAINTENANCE_IF_MAIN ); -- cgit v1.2.3-54-g00ecf