wiki.techinc.nl/includes/deferred/UserEditCountInfo.php
James D. Forrester 8e940c4f21 Standardise all our class alias deprecation comments for ease of grepping
Change-Id: I7f85d931d3b79da23e87b4e5692b2e14be8fcaa0
2024-03-19 20:11:29 +00:00

57 lines
1.1 KiB
PHP

<?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' );