MediaWiki master
|
Handles increment the edit count for a given set of users. More...
Inherits MediaWiki\Deferred\DeferrableUpdate, and MediaWiki\Deferred\MergeableUpdate.
Public Member Functions | |
__construct (UserIdentity $user, $increment) | |
doUpdate () | |
Commits the provided user edit count increments to the database. | |
merge (MergeableUpdate $update) | |
Merge this enqueued update with a new MergeableUpdate of the same qualified class name. | |
Handles increment the edit count for a given set of users.
Definition at line 35 of file UserEditCountUpdate.php.
MediaWiki\Deferred\UserEditCountUpdate::__construct | ( | UserIdentity | $user, |
$increment ) |
UserIdentity | $user | |
int | $increment |
Definition at line 47 of file UserEditCountUpdate.php.
References MediaWiki\User\UserIdentity\getId().
MediaWiki\Deferred\UserEditCountUpdate::doUpdate | ( | ) |
Commits the provided user edit count increments to the database.
Implements MediaWiki\Deferred\DeferrableUpdate.
Definition at line 73 of file UserEditCountUpdate.php.
References DB_PRIMARY, DB_REPLICA, and MediaWiki\MediaWikiServices\getInstance().
MediaWiki\Deferred\UserEditCountUpdate::merge | ( | MergeableUpdate | $update | ) |
Merge this enqueued update with a new MergeableUpdate of the same qualified class name.
MergeableUpdate | $update | The new update (having the same class) |
Implements MediaWiki\Deferred\MergeableUpdate.
Definition at line 56 of file UserEditCountUpdate.php.