diff options
Diffstat (limited to 'extensions/LocalisationUpdate/update.php')
| -rw-r--r-- | extensions/LocalisationUpdate/update.php | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/extensions/LocalisationUpdate/update.php b/extensions/LocalisationUpdate/update.php index 750fc4f2..04ea64c7 100644 --- a/extensions/LocalisationUpdate/update.php +++ b/extensions/LocalisationUpdate/update.php @@ -5,9 +5,9 @@ $IP = strval( getenv( 'MW_INSTALL_PATH' ) ) !== '' : realpath( dirname( __FILE__ ) . "/../../" ); // TODO: migrate to maintenance class -require_once( "$IP/maintenance/commandLine.inc" ); +require_once "$IP/maintenance/commandLine.inc"; -if( isset( $options['help'] ) ) { +if ( isset( $options['help'] ) ) { print "Fetches updated localisation files from MediaWiki development SVN\n"; print "and saves into local database to merge with release defaults.\n"; print "\n"; @@ -23,7 +23,6 @@ if( isset( $options['help'] ) ) { exit( 0 ); } - $starttime = microtime( true ); // Prevent the script from timing out |