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 equals( ?UserIdentity $user ) : bool;
 
    public function isRegistered() : bool;
}