Merge "Remove mediawiki.action.history group"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 May 2015 13:10:41 +0000 (13:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 May 2015 13:10:41 +0000 (13:10 +0000)
commit74289b4f8417fa2f89998d99451ce089f12a9381
treec0146681f94f6bea30ddd2671ae27ba9b15b84d6
parente88ae33388ea835d85dfbca87a525aeedc30e248
parentaacc7d37adb643760825b47aeaf3ef8e5615bc9a
Merge "Remove mediawiki.action.history group"
resources/Resources.php