1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
<?php
namespace MediaWiki\Deferred;
use InvalidArgumentException;
use MediaWiki\User\UserIdentity;
/**
* Helper class for UserEditCountUpdate
* @since 1.38
*/
class UserEditCountInfo {
/** @var UserIdentity */
private $user;
/** @var int */
private $increment;
/**
* @internal
* @param UserIdentity $user
* @param int $increment
*/
public function __construct( UserIdentity $user, int $increment ) {
$this->user = $user;
$this->increment = $increment;
}
/**
* Merge another UserEditCountInfo into this one
*
* @param UserEditCountInfo $other
*/
public function merge( self $other ) {
if ( !$this->user->equals( $other->user ) ) {
throw new InvalidArgumentException( __METHOD__ . ': user does not match' );
}
$this->increment += $other->increment;
}
/**
* @return UserIdentity
*/
public function getUser() {
return $this->user;
}
/**
* @return int
*/
public function getIncrement() {
return $this->increment;
}
}
/** @deprecated class alias since 1.42 */
class_alias( UserEditCountInfo::class, 'UserEditCountInfo' );
|
