MediaWiki master
|
This is the complete list of members for MediaWiki\Deferred\UserEditCountInfo, including all inherited members.
__construct(UserIdentity $user, int $increment) | MediaWiki\Deferred\UserEditCountInfo | |
getIncrement() | MediaWiki\Deferred\UserEditCountInfo | |
getUser() | MediaWiki\Deferred\UserEditCountInfo | |
merge(self $other) | MediaWiki\Deferred\UserEditCountInfo |