added diff headers for HTML diff
authorGuy Van den Broeck <guyvdb@users.mediawiki.org>
Wed, 20 Aug 2008 18:45:43 +0000 (18:45 +0000)
committerGuy Van den Broeck <guyvdb@users.mediawiki.org>
Wed, 20 Aug 2008 18:45:43 +0000 (18:45 +0000)
commita115a6d874f6d118b397b66ce5f873ac98610bf3
tree31c45d4d1cb2b38188121ef446d6cf2348905782
parent0e830bd136df37b6b2dd8d1d24f4b152f22bb47e
added diff headers for HTML diff
includes/DifferenceEngine.php