Merge "mediawiki.util: Move to its own resources/src/ directory"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 6 Sep 2019 02:00:51 +0000 (02:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 6 Sep 2019 02:00:51 +0000 (02:00 +0000)
1  2 
resources/Resources.php

diff --combined resources/Resources.php
@@@ -942,6 -942,9 +942,6 @@@ return 
                'scripts' => [
                        'resources/src/mediawiki.htmlform.checker.js',
                ],
 -              'dependencies' => [
 -                      'jquery.throttle-debounce',
 -              ],
                'targets' => [ 'desktop', 'mobile' ],
        ],
        'mediawiki.htmlform.ooui' => [
                ]
        ],
        'mediawiki.util' => [
-               'localBasePath' => "$IP/resources/src",
-               'remoteBasePath' => "$wgResourceBasePath/resources/src",
+               'localBasePath' => "$IP/resources/src/mediawiki.util/",
+               'remoteBasePath' => "$wgResourceBasePath/resources/srcmediawiki.util/",
                'packageFiles' => [
-                       'mediawiki.util.js',
+                       'util.js',
                        [ 'name' => 'config.json', 'config' => [
                                'FragmentMode',
                                'LoadScript',
                        'styles/mw.rcfilters.ui.FilterTagMultiselectWidgetMobile.less'
                ],
                'skinStyles' => [
 -                      'vector' => [
 -                              'styles/mw.rcfilters.ui.Overlay.vector.less',
 -                      ],
                        'monobook' => [
 -                              'styles/mw.rcfilters.ui.Overlay.monobook.less',
                                'styles/mw.rcfilters.ui.CapsuleItemWidget.monobook.less',
                                'styles/mw.rcfilters.ui.FilterMenuOptionWidget.monobook.less',
                        ],