MediaWiki  master
UserIdentity.php
Go to the documentation of this file.
1 <?php
23 namespace MediaWiki\User;
24 
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 
72  public function isRegistered(): bool;
73 }
Marker interface for entities aware of the wiki they belong to.
Interface for objects representing user identity.
equals(?UserIdentity $user)
getId( $wikiId=self::LOCAL)