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