MediaWiki
master
UserIdentity.php
Go to the documentation of this file.
1
<?php
23
namespace
MediaWiki\User
;
24
25
use
MediaWiki\DAO\WikiAwareEntity
;
26
39
interface
UserIdentity
extends
WikiAwareEntity
{
40
48
public
function
getId
( $wikiId = self::LOCAL ): int;
49
55
public
function
getName
(): string;
56
63
public
function
equals
( ?
UserIdentity
$user ): bool;
64
75
public
function
isRegistered
(): bool;
76
}
MediaWiki\DAO\WikiAwareEntity
Marker interface for entities aware of the wiki they belong to.
Definition
WikiAwareEntity.php:35
MediaWiki\User\UserIdentity
Interface for objects representing user identity.
Definition
UserIdentity.php:39
MediaWiki\User\UserIdentity\isRegistered
isRegistered()
This must be equivalent to getId() != 0 and is provided for code readability.
MediaWiki\User\UserIdentity\getName
getName()
MediaWiki\User\UserIdentity\equals
equals(?UserIdentity $user)
MediaWiki\User\UserIdentity\getId
getId( $wikiId=self::LOCAL)
MediaWiki\User
Utility class for bot passwords.
Definition
ActorCache.php:21
includes
user
UserIdentity.php
Generated on Sat Dec 7 2024 21:26:30 for MediaWiki by
1.10.0