UserIdentity.php

Go to the documentation of this file.

<?php
namespace MediaWiki\User;
 
interface UserIdentity {
 
    public function getId();
 
    public function getName();
 
    public function getActorId();
 
    // TODO: we may want to (optionally?) provide a global ID, see CentralIdLookup.
 
    public function equals( UserIdentity $user );
 
    public function isRegistered();
}