(bug 20966) Use the name of the <button> element to determine which button was clicke...
authorTim Starling <tstarling@users.mediawiki.org>
Tue, 6 Oct 2009 06:30:24 +0000 (06:30 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Tue, 6 Oct 2009 06:30:24 +0000 (06:30 +0000)
commitc3e788299dbda57f6596b1fb7c59baeef1f4afd9
tree8efaf93b0473fb848ec4866ff55b324a4cde39c6
parent2792443f581125481d44807f538f1a73f705e5a8
(bug 20966) Use the name of the <button> element to determine which button was clicked, instead of the value. This avoids some IE-specific non-standard behaviour.
includes/HistoryPage.php
includes/Wiki.php
includes/specials/SpecialRevisiondelete.php