Merge "Always use the canonical extension name when necessary"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 8 Jan 2015 16:01:03 +0000 (16:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 8 Jan 2015 16:01:03 +0000 (16:01 +0000)
commitd726bc7c3456d9742d4cb32640aa5847ad6b1782
treefda232ad8e155bc4976e695bbffa60683cecc3e7
parent31d0a18d3efd13f025633df1cc5a5be7b058f9a3
parent2f4f6c718333612c4178c6622e301d7a8cb38bf3
Merge "Always use the canonical extension name when necessary"
includes/specials/SpecialVersion.php