Merge "Fix styling of deletion page when $wgUseMediaWikiUIEverywhere enabled"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Oct 2014 06:00:50 +0000 (06:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Oct 2014 06:00:50 +0000 (06:00 +0000)
commita1d9f7b3a917aa53dcb5ddbc07de974894c8625c
tree03de6ecdc3846d77d1c07b204024aa8122ef0ef3
parent71a8bf7b82621a974ab2bdf8ce517e8bd0878d44
parent387274466e437eaf4633b7bf7ba45417b46c4e97
Merge "Fix styling of deletion page when $wgUseMediaWikiUIEverywhere enabled"