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 }
equals(UserIdentity $user)
Interface for objects representing user identity.