UserEditCountInfo.php

Go to the documentation of this file.

<?php
 
use MediaWiki\User\UserIdentity;
 
class UserEditCountInfo {
    private $user;
 
    private $increment;
 
    public function __construct( UserIdentity $user, int $increment ) {
        $this->user = $user;
        $this->increment = $increment;
    }
 
    public function merge( self $other ) {
        if ( !$this->user->equals( $other->user ) ) {
            throw new InvalidArgumentException( __METHOD__ . ': user does not match' );
        }
        $this->increment += $other->increment;
    }
 
    public function getUser() {
        return $this->user;
    }
 
    public function getIncrement() {
        return $this->increment;
    }
}