dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25e5d9b) | patch
Introduce the UserIdentity interface.
authordaniel <daniel.kinzler@wikimedia.de>
Thu, 16 Nov 2017 19:44:44 +0000 (20:44 +0100)
committerAddshore <addshorewiki@gmail.com>
Sat, 18 Nov 2017 19:47:25 +0000 (19:47 +0000)
commit38edb8ab30d21e67e69871582e34b5120cbcc33a
tree3749c3fa475c1e0a33adb61088066d68d3cc9848tree | snapshot
parent25e5d9b8c1e5ab9d68e873a26f4682d4a840bd9ecommit | diff
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
autoload.php diff | blob | history
includes/user/User.php diff | blob | history
includes/user/UserIdentity.php [new file with mode: 0644] blob
Wiklou, le Wiki du Wiklou