Mayankmadan has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/93323


Change subject: Adding a timestamp according to this bug 
https://bugzilla.wikimedia.org/show_bug.cgi?id=28278
......................................................................

Adding a timestamp according to this bug 
https://bugzilla.wikimedia.org/show_bug.cgi?id=28278

Change-Id: I42cd0da35a2ed20748374afbe1a02773cd941136
---
M maintenance/update.php
1 file changed, 4 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/23/93323/1

diff --git a/maintenance/update.php b/maintenance/update.php
index 378217f..25665e5 100644
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -81,6 +81,7 @@
        }
 
        function execute() {
+               $time1 = time();
                global $wgVersion, $wgTitle, $wgLang, $wgAllowSchemaUpdates;
 
                if ( !$wgAllowSchemaUpdates && !( $this->hasOption( 'force' ) 
|| $this->hasOption( 'schema' ) || $this->hasOption( 'noschema' ) ) ) {
@@ -130,6 +131,7 @@
                if ( !$this->hasOption( 'quick' ) ) {
                        $this->output( "Abort with control-c in the next five 
seconds (skip this countdown with --quick) ... " );
                        wfCountDown( 5 );
+                       $time1 = time();
                }
 
                $shared = $this->hasOption( 'doshared' );
@@ -164,8 +166,10 @@
                if ( !$this->hasOption( 'nopurge' ) ) {
                        $updater->purgeCache();
                }
+               $time2 = time();
 
                $this->output( "\nDone.\n" );
+               $this->output( "\nThe job took ". gmdate("i:s", $time2-$time1). 
"\n");
        }
 
        function afterFinalSetup() {

-- 
To view, visit https://gerrit.wikimedia.org/r/93323
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I42cd0da35a2ed20748374afbe1a02773cd941136
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Mayankmadan <maddiema...@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to