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
70
public
function
getActorId
( $wikiId = self::LOCAL ) : int;
71
72
// TODO: we may want to (optionally?) provide a global ID, see CentralIdLookup.
73
80
public
function
equals
(
UserIdentity
$user ) : bool;
81
89
public
function
isRegistered
() : bool;
90
}
MediaWiki\User\UserIdentity\equals
equals(UserIdentity $user)
MediaWiki\User\UserIdentity\getId
getId( $wikiId=self::LOCAL)
MediaWiki\DAO\WikiAwareEntity
Marker interface for entities aware of the wiki they belong to.
Definition:
WikiAwareEntity.php:34
MediaWiki\User\UserIdentity
Interface for objects representing user identity.
Definition:
UserIdentity.php:39
MediaWiki\User\UserIdentity\isRegistered
isRegistered()
MediaWiki\User\UserIdentity\getName
getName()
MediaWiki\User
Definition:
ActorNormalization.php:21
MediaWiki\User\UserIdentity\getActorId
getActorId( $wikiId=self::LOCAL)
includes
user
UserIdentity.php
Generated on Sat Mar 20 2021 18:10:08 for MediaWiki by
1.8.19