UserIdentity.php

Go to the documentation of this file.

<?php
namespace MediaWiki\User;
 
use MediaWiki\DAO\WikiAwareEntity;
 
interface UserIdentity extends WikiAwareEntity {
 
    public function getId( $wikiId = self::LOCAL ) : int;
 
    public function getName() : string;
 
    public function getActorId( $wikiId = self::LOCAL ) : int;
 
    // TODO: we may want to (optionally?) provide a global ID, see CentralIdLookup.
 
    public function equals( UserIdentity $user ) : bool;
 
    public function isRegistered() : bool;
}