* PageHistory::diffButtons
authorRaimond Spekking <raymond@users.mediawiki.org>
Tue, 4 Dec 2007 12:22:23 +0000 (12:22 +0000)
committerRaimond Spekking <raymond@users.mediawiki.org>
Tue, 4 Dec 2007 12:22:23 +0000 (12:22 +0000)
commite98d0bf64c9a0d051f2414576a9c7e68b9c454d0
treed02b23489f323761f1969d175d1240c8b6d9ae91
parent8fafe99e0d947f19fef7bf6c697d861096b71b7e
* PageHistory::diffButtons
** Remove commented out message, no one missed it since r10459
** Document function, use proper XML::element
* Remove other ancient unused messages
includes/PageHistory.php
languages/messages/MessagesDe.php
languages/messages/MessagesEn.php
maintenance/language/messages.inc