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;
}