Add equals() to UserIdentity
authorGergő Tisza <tgr.huwiki@gmail.com>
Tue, 8 May 2018 14:31:03 +0000 (16:31 +0200)
committerGergő Tisza <tgr.huwiki@gmail.com>
Tue, 8 May 2018 14:31:03 +0000 (16:31 +0200)
commitdf1c24fde82ae8408054b5864a8ec037d9cc0512
treedadeb4decfdf0b36c617ec4bbdd8486a481c0293
parent1673d6d048635471a14ac97d2f07671a56c807fb
Add equals() to UserIdentity

Change-Id: Ia2f33d551e96bd6f58ba9414049449282575a63b
includes/user/User.php
includes/user/UserIdentity.php
includes/user/UserIdentityValue.php