MediaWiki REL1_37
UserIdentity.php
Go to the documentation of this file.
1<?php
23namespace MediaWiki\User;
24
26
39interface 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)