Convert Special:ComparePages to OOUI
authorFlorian <florian.schmidt.stargatewissen@gmail.com>
Wed, 4 Nov 2015 18:14:57 +0000 (19:14 +0100)
committerReedy <reedy@wikimedia.org>
Sat, 2 Jan 2016 16:24:05 +0000 (16:24 +0000)
commit828a99e75a973db37c3715cac674957a26f78542
tree9388dc62d41e9e46fb5b3ed869d30af3efaa8bb3
parent2d534f3ea6ab39c463ac27692c1121c3faf5c92a
Convert Special:ComparePages to OOUI

Bug: T117752
Change-Id: I480c2165c908ca7c8e08ed5990e386ddb515f3b0
includes/specials/SpecialComparePages.php