History page with HTML diff enabled now also works when JavaScript is disabled.
authorGuy Van den Broeck <guyvdb@users.mediawiki.org>
Fri, 22 Aug 2008 16:53:56 +0000 (16:53 +0000)
committerGuy Van den Broeck <guyvdb@users.mediawiki.org>
Fri, 22 Aug 2008 16:53:56 +0000 (16:53 +0000)
commit9e1fad1826f4e9defe6f1ecbb474a5b26afc65bd
tree1a99b51af912569ba0cb75f326c87ff59a019bc5
parent8ed87bb509daa295b7844e3d1d3cf260eacea405
History page with HTML diff enabled now also works when JavaScript is disabled.
includes/Article.php
includes/DefaultSettings.php
includes/PageHistory.php
skins/common/history.js