diff options
Diffstat (limited to 'extensions/LocalisationUpdate/update.php')
| -rw-r--r-- | extensions/LocalisationUpdate/update.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/extensions/LocalisationUpdate/update.php b/extensions/LocalisationUpdate/update.php index 04ea64c7..750fc4f2 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,6 +23,7 @@ if ( isset( $options['help'] ) ) { exit( 0 ); } + $starttime = microtime( true ); // Prevent the script from timing out |