Merge "mediawiki.page.patrol.ajax: Remove dependency on mediawiki.page.startup"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 23 May 2017 13:50:07 +0000 (13:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 23 May 2017 13:50:08 +0000 (13:50 +0000)
commitea0980a652dd3ae2e1de9e59a31957ae8e4d5b62
treebfc7b7468e03162b7f52d55043efcb595eb04fc2
parentf494883ac2f93bc3864287478b31a84a318f2f07
parente39ec1e3e97b88f21c2c8faa29785479c8361b7f
Merge "mediawiki.page.patrol.ajax: Remove dependency on mediawiki.page.startup"