MediaWiki
1.34.0
|
Handles increment the edit count for a given set of users. More...
Public Member Functions | |
__construct (User $user, $increment) | |
doUpdate () | |
Purges the list of URLs passed to the constructor. More... | |
merge (MergeableUpdate $update) | |
Merge this update with $update. More... | |
Private Attributes | |
array[] | $infoByUser |
Map of (user ID => ('increment': int, 'instances': User[])) More... | |
Handles increment the edit count for a given set of users.
Definition at line 29 of file UserEditCountUpdate.php.
UserEditCountUpdate::__construct | ( | User | $user, |
$increment | |||
) |
User | $user | |
int | $increment |
Definition at line 37 of file UserEditCountUpdate.php.
References User\getId().
UserEditCountUpdate::doUpdate | ( | ) |
Purges the list of URLs passed to the constructor.
Implements DeferrableUpdate.
Definition at line 69 of file UserEditCountUpdate.php.
References $dbr, DB_MASTER, and DB_REPLICA.
UserEditCountUpdate::merge | ( | MergeableUpdate | $update | ) |
Merge this update with $update.
MergeableUpdate | $update | Update of the same class type |
Implements MergeableUpdate.
Definition at line 46 of file UserEditCountUpdate.php.
|
private |
Map of (user ID => ('increment': int, 'instances': User[]))
Definition at line 31 of file UserEditCountUpdate.php.