3 if ( !isset( $argv[1] ) ) {
4 print "Usage: php {$argv[0]} <filename>\n";
9 define( 'MEDIAWIKI', 1 );
10 define( 'NOT_REALLY_MEDIAWIKI', 1 );
12 $IP = dirname( __FILE__
) . '/../..';
14 require_once( "$IP/includes/Defines.php" );
15 require_once( "$IP/languages/Language.php" );
18 foreach ( $argv as $arg ) {
19 $files = array_merge( $files, glob( $arg ) );
22 foreach ( $files as $filename ) {
24 $vars = getVars( $filename );
25 $keys = array_keys( $vars );
26 $diff = array_diff( $keys, Language
::$mLocalisationKeys );
28 print "\nWarning: unrecognised variable(s): " . implode( ', ', $diff ) ."\n";
34 function getVars( $filename ) {
36 $vars = get_defined_vars();
37 unset( $vars['filename'] );