From d417de70fcf39e0a7a15ba780b597914d16ca0f7 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 12 Mar 2014 18:12:23 +0100 Subject: Update to MediaWiki 1.22.4 --- extensions/LocalisationUpdate/update.php | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'extensions/LocalisationUpdate/update.php') 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 -- cgit v1.2.3-54-g00ecf