MediaWiki  master
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. More...
 

Detailed Description

Helper class for UserEditCountUpdate.

Since
1.38

Definition at line 9 of file UserEditCountInfo.php.

Constructor & Destructor Documentation

◆ __construct()

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

Definition at line 21 of file UserEditCountInfo.php.

Member Function Documentation

◆ getIncrement()

UserEditCountInfo::getIncrement ( )
Returns
int

Definition at line 48 of file UserEditCountInfo.php.

◆ getUser()

UserEditCountInfo::getUser ( )
Returns
UserIdentity

Definition at line 41 of file UserEditCountInfo.php.

◆ merge()

UserEditCountInfo::merge ( self  $other)

Merge another UserEditCountInfo into this one.

Parameters
UserEditCountInfo$other

Definition at line 31 of file UserEditCountInfo.php.


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