MediaWiki  master
UserIdentity.php
Go to the documentation of this file.
1 <?php
23 namespace MediaWiki\User;
24 
32 interface UserIdentity {
33 
39  public function getId();
40 
46  public function getName();
47 
53  public function getActorId();
54 
55  // TODO: we may want to (optionally?) provide a global ID, see CentralIdLookup.
56 
63  public function equals( UserIdentity $user );
64 
72  public function isRegistered();
73 }
MediaWiki\User\UserIdentity\equals
equals(UserIdentity $user)
MediaWiki\User\UserIdentity
Interface for objects representing user identity.
Definition: UserIdentity.php:32
MediaWiki\User\UserIdentity\getActorId
getActorId()
MediaWiki\User\UserIdentity\isRegistered
isRegistered()
MediaWiki\User\UserIdentity\getName
getName()
MediaWiki\User
Definition: DefaultOptionsLookup.php:21
MediaWiki\User\UserIdentity\getId
getId()