Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/includes/deferred/UserEditCountInfo.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' );
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка