MediaWiki REL1_40
|
Helper class for UserEditCountUpdate. More...
Public Member Functions | |
__construct (UserIdentity $user, int $increment) | |
getIncrement () | |
getUser () | |
merge (self $other) | |
Merge another UserEditCountInfo into this one. | |
UserEditCountInfo::__construct | ( | UserIdentity | $user, |
int | $increment ) |
UserIdentity | $user | |
int | $increment |
Definition at line 21 of file UserEditCountInfo.php.
UserEditCountInfo::getIncrement | ( | ) |
Definition at line 48 of file UserEditCountInfo.php.
UserEditCountInfo::getUser | ( | ) |
Definition at line 41 of file UserEditCountInfo.php.
UserEditCountInfo::merge | ( | self | $other | ) |
Merge another UserEditCountInfo into this one.
UserEditCountInfo | $other |
Definition at line 31 of file UserEditCountInfo.php.