Add User::equals
authorNiklas Laxström <niklas.laxstrom@gmail.com>
Thu, 11 Dec 2014 08:59:28 +0000 (09:59 +0100)
committerNiklas Laxström <niklas.laxstrom@gmail.com>
Tue, 13 Jan 2015 14:04:45 +0000 (15:04 +0100)
commit80ca508ed117bbf54778068f24590c80dfe39128
treec9dac3b4265e7b7f9f94a38795def27c68a27455
parent39b578f1e095325d0b6867fa427244c8da96a848
Add User::equals

Seems stupid omission. Title has one. Why do I need to think how
to determine how to users objects point to the same user. Allows
more expressive code.

Also fixes a bug in multiple places where users "0" and "00" were
considered equal.

Change-Id: I682392e564b332b77ab489f2ad394fa2d28098a5
includes/User.php
includes/changes/RecentChange.php
includes/diff/DifferenceEngine.php
includes/page/Article.php
includes/specials/SpecialUserrights.php
tests/phpunit/includes/UserTest.php