umherirrender 2bdb4895f9 diff: Display "(No difference)" instead of an empty diff ... This makes it easier to see the fact, because without a hint, the user can mean, that there is something missing, but here the missing is okay and for that, the message is helpful. Change-Id: I458fb688b0001fb674ece65b3fdabf56fc658a29		2013-07-17 20:40:35 +02:00
..
DairikiDiff.php	DairikiDiff: Optimise method WordLevelDiff._split()	2013-05-16 23:01:09 +00:00
DifferenceEngine.php	diff: Display "(No difference)" instead of an empty diff	2013-07-17 20:40:35 +02:00
WikiDiff3.php	Spellchecked /includes directory	2013-03-13 03:42:41 -04:00