00001 <?php 00007 if ( !isset( $argv[1] ) ) { 00008 print "Usage: php {$argv[0]} <filename>\n"; 00009 exit( 1 ); 00010 } 00011 array_shift( $argv ); 00012 00013 define( 'MEDIAWIKI', 1 ); 00014 define( 'NOT_REALLY_MEDIAWIKI', 1 ); 00015 00016 $IP = dirname( __FILE__ ) . '/../..'; 00017 00018 require_once( "$IP/includes/Defines.php" ); 00019 require_once( "$IP/languages/Language.php" ); 00020 00021 $files = array(); 00022 foreach ( $argv as $arg ) { 00023 $files = array_merge( $files, glob( $arg ) ); 00024 } 00025 00026 foreach ( $files as $filename ) { 00027 print "$filename..."; 00028 $vars = getVars( $filename ); 00029 $keys = array_keys( $vars ); 00030 $diff = array_diff( $keys, Language::$mLocalisationKeys ); 00031 if ( $diff ) { 00032 print "\nWarning: unrecognised variable(s): " . implode( ', ', $diff ) ."\n"; 00033 } else { 00034 print " ok\n"; 00035 } 00036 } 00037 00038 function getVars( $filename ) { 00039 require( $filename ); 00040 $vars = get_defined_vars(); 00041 unset( $vars['filename'] ); 00042 return $vars; 00043 } 00044