MediaWiki master
Public Member Functions | List of all members
MediaWiki\Deferred\UserEditCountInfo Class Reference

Helper class for UserEditCountUpdate. More...

Public Member Functions

 __construct (UserIdentity $user, int $increment)
 
 getIncrement ()
 
 getUser ()
 
 merge (self $other)
 Merge another UserEditCountInfo into this one.
 

Detailed Description

Helper class for UserEditCountUpdate.

Since
1.38

Definition at line 12 of file UserEditCountInfo.php.

Constructor & Destructor Documentation

◆ __construct()

MediaWiki\Deferred\UserEditCountInfo::__construct ( UserIdentity $user,
int $increment )
Access: internal
Parameters
UserIdentity$user
int$increment

Definition at line 24 of file UserEditCountInfo.php.

Member Function Documentation

◆ getIncrement()

MediaWiki\Deferred\UserEditCountInfo::getIncrement ( )
Returns
int

Definition at line 51 of file UserEditCountInfo.php.

◆ getUser()

MediaWiki\Deferred\UserEditCountInfo::getUser ( )
Returns
UserIdentity

Definition at line 44 of file UserEditCountInfo.php.

◆ merge()

MediaWiki\Deferred\UserEditCountInfo::merge ( self $other)

Merge another UserEditCountInfo into this one.

Parameters
UserEditCountInfo$other

Definition at line 34 of file UserEditCountInfo.php.

The documentation for this class was generated from the following file: