wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-23 22:13:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix output from autodisable pref script

Browse source 
Report correct number of users and add linebreak.

Bug: T112352
Change-Id: I19cd23ff4c28a83408881c299fb3a3ef42ea305b
This commit is contained in:
Alex Monk 2015-09-30 20:56:28 +01:00
parent 0ec26ef23b
commit 5d3cd8ebbb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
autodisablePref.php
View file

@ -52,7 +52,7 @@ class VEAutodisablePref extends Maintenance {
$user->saveSettings();
$lastUserId = $userRow->user_id;
}
$this->output( "Added preference for " . count( $results ) . " users." );
$this->output( "Added preference for " . $results->numRows() . " users.\n" );
wfWaitForSlaves();
} while ( $results->numRows() );
$this->output( "done.\n" );