|
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 21 of file UserEditCountUpdate.php.
| MediaWiki\Deferred\UserEditCountUpdate::__construct | ( | UserIdentity | $user, |
| $increment ) |
| UserIdentity | $user | |
| int | $increment |
Definition at line 33 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 59 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 42 of file UserEditCountUpdate.php.