diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-06-04 07:31:04 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-06-04 07:58:39 +0200 |
| commit | f6d65e533c62f6deb21342d4901ece24497b433e (patch) | |
| tree | f28adf0362d14bcd448f7b65a7aaf38650f923aa /maintenance/updateSpecialPages.php | |
| parent | c27b2e832fe25651ef2410fae85b41072aae7519 (diff) | |
Update to MediaWiki 1.25.1
Diffstat (limited to 'maintenance/updateSpecialPages.php')
| -rw-r--r-- | maintenance/updateSpecialPages.php | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/maintenance/updateSpecialPages.php b/maintenance/updateSpecialPages.php index 61642828..d67ef6bb 100644 --- a/maintenance/updateSpecialPages.php +++ b/maintenance/updateSpecialPages.php @@ -81,16 +81,16 @@ class UpdateSpecialPages extends Maintenance { if ( !$this->hasOption( 'only' ) || $this->getOption( 'only' ) == $queryPage->getName() ) { $this->output( sprintf( '%-30s [QueryPage] ', $special ) ); if ( $queryPage->isExpensive() ) { - $t1 = explode( ' ', microtime() ); + $t1 = microtime( true ); # Do the query $num = $queryPage->recache( $limit === null ? $wgQueryCacheLimit : $limit ); - $t2 = explode( ' ', microtime() ); + $t2 = microtime( true ); if ( $num === false ) { $this->output( "FAILED: database error\n" ); } else { $this->output( "got $num rows in " ); - $elapsed = ( $t2[0] - $t1[0] ) + ( $t2[1] - $t1[1] ); + $elapsed = $t2 - $t1; $hours = intval( $elapsed / 3600 ); $minutes = intval( $elapsed % 3600 / 60 ); $seconds = $elapsed - $hours * 3600 - $minutes * 60; @@ -139,12 +139,12 @@ class UpdateSpecialPages extends Maintenance { continue; } $this->output( sprintf( '%-30s [callback] ', $special ) ); - $t1 = explode( ' ', microtime() ); + $t1 = microtime( true ); call_user_func( $call, $dbw ); - $t2 = explode( ' ', microtime() ); + $t2 = microtime( true ); $this->output( "completed in " ); - $elapsed = ( $t2[0] - $t1[0] ) + ( $t2[1] - $t1[1] ); + $elapsed = $t2 - $t1; $hours = intval( $elapsed / 3600 ); $minutes = intval( $elapsed % 3600 / 60 ); $seconds = $elapsed - $hours * 3600 - $minutes * 60; |