Guy Van den Broeck 0a1d40df5f Fixed bug in HTML differ. A bad index was used when everything is removed from a page.		2008-10-27 10:15:24 +00:00
..
Diff.php
DifferenceEngine.php	(bug 12586) Use wfHostname() everywhere, remove $wguname and $wgNodeName. Use getenv('COMPUTERNAME') on Windows.	2008-10-06 07:30:38 +00:00
HTMLDiff.php	Fixed bug in HTML differ. A bad index was used when everything is removed from a page.	2008-10-27 10:15:24 +00:00
Nodes.php