Niklas Laxström 80ca508ed1 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		2015-01-13 15:04:45 +01:00
..
ArrayDiffFormatter.php	Added and updated Doxygen comments in content handler and diff namespaces	2014-03-06 11:17:41 +01:00
DairikiDiff.php	Remove obvious function-level profiling	2015-01-07 11:14:24 -08:00
DifferenceEngine.php	Add User::equals	2015-01-13 15:04:45 +01:00
DiffFormatter.php	Remove obvious function-level profiling	2015-01-07 11:14:24 -08:00
TableDiffFormatter.php	Remove obvious function-level profiling	2015-01-07 11:14:24 -08:00
UnifiedDiffFormatter.php	Added and updated Doxygen comments in content handler and diff namespaces	2014-03-06 11:17:41 +01:00
WikiDiff3.php	Added and updated Doxygen comments in content handler and diff namespaces	2014-03-06 11:17:41 +01:00