mediawiki.page.patrol.ajax: Remove dependency on mediawiki.page.startup
authorFomafix <fomafix@googlemail.com>
Mon, 22 May 2017 20:12:18 +0000 (22:12 +0200)
committerJforrester <jforrester@wikimedia.org>
Tue, 23 May 2017 07:11:52 +0000 (07:11 +0000)
commite39ec1e3e97b88f21c2c8faa29785479c8361b7f
tree4b006b24db187f50175121e7c560905dfe043cfb
parent8103c7c89fd88802538bed66d07d5d9b4a46ae6b
mediawiki.page.patrol.ajax: Remove dependency on mediawiki.page.startup

The module 'mediawiki.page.patrol.ajax' does not need a dependency on
the module 'mediawiki.page.startup'.

Change-Id: I2619a0709b93c26a8b3906273b4d5a988230d662
resources/Resources.php