Daniel Kinzler has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/391888 )
Change subject: Introcude the UserIdentity interface. ...................................................................... Introcude 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 --- A includes/user/UserIdentity.php 1 file changed, 45 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/88/391888/1 diff --git a/includes/user/UserIdentity.php b/includes/user/UserIdentity.php new file mode 100644 index 0000000..11d0035 --- /dev/null +++ b/includes/user/UserIdentity.php @@ -0,0 +1,45 @@ +<?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. + */ +interface UserIdentity { + + /** + * @return int The user ID. May be 0 for anonymous users or for users with no local account. + */ + public function getId(); + + /** + * @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. + +} -- To view, visit https://gerrit.wikimedia.org/r/391888 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ief00db5ce382537c5bf992159eae6baf096ae4be Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Daniel Kinzler <daniel.kinz...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
