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