MediaWiki REL1_37
|
Handles increment the edit count for a given set of users. More...
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. | |
Private Attributes | |
array[] | $infoByUser |
We need to keep a single copy of the relevant UserIdentity to be able to pass to UserEditTracker. | |
Handles increment the edit count for a given set of users.
Definition at line 30 of file UserEditCountUpdate.php.
UserEditCountUpdate::__construct | ( | UserIdentity | $user, |
$increment | |||
) |
UserIdentity | $user | |
int | $increment |
Definition at line 42 of file UserEditCountUpdate.php.
References MediaWiki\User\UserIdentity\getId().
UserEditCountUpdate::doUpdate | ( | ) |
Commits the provided user edit count increments to the database.
Implements DeferrableUpdate.
Definition at line 72 of file UserEditCountUpdate.php.
References DB_PRIMARY.
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 MergeableUpdate.
Definition at line 51 of file UserEditCountUpdate.php.
|
private |
We need to keep a single copy of the relevant UserIdentity to be able to pass to UserEditTracker.
Map of (user ID => ('increment': int, 'object': UserIdentity))
Definition at line 36 of file UserEditCountUpdate.php.