dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 1: f494883)
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)
resources/Resources.php patch | blob | history

diff --git a/resources/Resources.php b/resources/Resources.php
index 4c9934d..f3227f9 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1672,7 +1672,6 @@ return [
        'mediawiki.page.patrol.ajax' => [
                'scripts' => 'resources/src/mediawiki/page/patrol.ajax.js',
                'dependencies' => [
-                       'mediawiki.page.startup',
                        'mediawiki.api',
                        'mediawiki.util',
                        'mediawiki.Title',
Wiklou, le Wiki du Wiklou