wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 10:49:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Add progress markers to backfillUnreadWikis.php"

Browse source
This commit is contained in:
jenkins-bot 2016-01-19 03:19:27 +00:00 committed by Gerrit Code Review
parent 419eb4e2e2 9f7fba935f
commit 943b073f58
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
maintenance/backfillUnreadWikis.php
View file

@ -22,6 +22,7 @@ class BackfillUnreadWikis extends Maintenance {
$iterator = new BatchRowIterator( $dbr, 'user', 'user_id', $this->mBatchSize ); $iterator = new BatchRowIterator( $dbr, 'user', 'user_id', $this->mBatchSize );
$iterator->setFetchColumns( User::selectFields() ); $iterator->setFetchColumns( User::selectFields() );
$processed = 0;
foreach ( $iterator as $batch ) { foreach ( $iterator as $batch ) {
foreach ( $batch as $row ) { foreach ( $batch as $row ) {
$user = User::newFromRow( $row ); $user = User::newFromRow( $row );
@ -39,6 +40,8 @@ class BackfillUnreadWikis extends Maintenance {
} }
} }
$processed += count( $batch );
$this->output( "Updated $processed users.\n" );
wfWaitForSlaves( false, false, $wgEchoSharedTrackingCluster ); wfWaitForSlaves( false, false, $wgEchoSharedTrackingCluster );
} }
} }