Merge "Move editoptions styling to mediawiki.skinning/interface.css"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 25 Sep 2014 19:45:17 +0000 (19:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 25 Sep 2014 19:45:17 +0000 (19:45 +0000)
commit4c15ddc6b9aa4139cb2d0e43d2f0664395436d02
tree81697bd3cb19199d2640058abe840d0675d90dab
parentc6289d013eac6194fb6631e8b0d9723f580982b0
parentd30edce749ee8d245ea1588bd4cbd958be198a9a
Merge "Move editoptions styling to mediawiki.skinning/interface.css"