wiki.techinc.nl/includes/user/UserIdentity.php
daniel 38edb8ab30 Introduce the UserIdentity interface.
This provides a narrow view on a user identity, providing access to
ID and name.

This has been extracted from I140f43a6fb443b for re-use with Actors,
on Anomie's request.

Change-Id: Ief00db5ce382537c5bf992159eae6baf096ae4be
2017-11-18 19:47:25 +00:00

51 lines
1.5 KiB
PHP

<?php
/**
* Interface for objects representing user identity.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
* http://www.gnu.org/copyleft/gpl.html
*
* @file
*/
namespace MediaWiki\User;
/**
* Interface for objects representing user identity.
*
* This represents the identity of a user in the context of page revisions and log entries.
*
* @since 1.31
*/
interface UserIdentity {
/**
* @since 1.31
*
* @return int The user ID. May be 0 for anonymous users or for users with no local account.
*/
public function getId();
/**
* @since 1.31
*
* @return string The user's logical name. May be an IPv4 or IPv6 address for anonymous users.
*/
public function getName();
// TODO: in the future, we should also provide access to the actor ID here.
// TODO: we may want to (optionally?) provide a global ID, see CentralIdLookup.
}