Merge "editWarning: Declare dependency on user.options"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 6 Jul 2015 08:46:45 +0000 (08:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 6 Jul 2015 08:46:45 +0000 (08:46 +0000)
commit0bdcf342fc26fcd66cf1b19884ca25cdaf857899
tree3eee57d37878e1f01ecde79d144e21bec992fff9
parentf7c0392b1ca1c4a117e9edda45fb5721b70f2a2b
parent87a051dd0122dcacb7ab6d2ce20b15e477454461
Merge "editWarning: Declare dependency on user.options"