MediaWiki REL1_33
UserIdentity.php
Go to the documentation of this file.
1<?php
24
32interface UserIdentity {
33
39 public function getId();
40
46 public function getName();
47
53 public function getActorId();
54
55 // TODO: we may want to (optionally?) provide a global ID, see CentralIdLookup.
56
63 public function equals( UserIdentity $user );
64
65}
Interface for objects representing user identity.
equals(UserIdentity $user)