jenkins-bot has submitted this change and it was merged.

Change subject: Vector: Make better use of $wgResourceModuleSkinStyles
......................................................................


Vector: Make better use of $wgResourceModuleSkinStyles

This gets rid of quite a lot of Vector from Resources.php and resources/.

* New $wgResourceModuleSkinStyles entries:

  * jquery.tipsy: Split off skins/Vector/skinStyles/jquery.tipsy.less
    from skins/Vector/components/common.less. It's just one rule, but
    let's do it for consistency anyway.

  * jquery.ui.*: Converted from Resources.php.
    Files renamed: resources/src/jquery.ui-themes/vector/**
    → skins/Vector/skinStyles/jquery.ui/**

  * mediawiki.notification: Still has the specificity hack, just renamed
    skins/Vector/components/notifications.less
    → skins/Vector/skinStyles/mediawiki.notification.less

* Updated $wgResourceModuleSkinStyles entries:

  * mediawiki.special: Renamed file for consistency,
    skins/Vector/special.less
    → skins/Vector/skinStyles/mediawiki.special.less

  * mediawiki.special.preferences: Renamed file for consistency,
    skins/Vector/special.preferences.less
    → skins/Vector/skinStyles/mediawiki.special.preferences.less

Change-Id: If248781e44300039eb52262d03b2f6722838dd12
---
M resources/Resources.php
M skins/Vector/Vector.php
M skins/Vector/components/common.less
A skins/Vector/skinStyles/jquery.tipsy.less
R skins/Vector/skinStyles/jquery.ui/images/close.png
R skins/Vector/skinStyles/jquery.ui/images/titlebar-fade.png
R skins/Vector/skinStyles/jquery.ui/images/ui-anim_basic_16x16.gif
R skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_15_cd0a0a_40x100.png
R skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_70_000000_40x100.png
R 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
R 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
R 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
R 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_ffffff_1x100.png
R 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
R skins/Vector/skinStyles/jquery.ui/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_2694e8_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_2e83ff_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_3d80b3_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_666666_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_72a7cf_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_ffffff_256x240.png
R skins/Vector/skinStyles/jquery.ui/jquery.ui.accordion.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.autocomplete.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.button.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.core.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.datepicker.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.dialog.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.progressbar.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.resizable.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.selectable.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.slider.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.tabs.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.theme.css
R skins/Vector/skinStyles/mediawiki.notification.less
R skins/Vector/skinStyles/mediawiki.special.less
R skins/Vector/skinStyles/mediawiki.special.preferences.less
36 files changed, 25 insertions(+), 23 deletions(-)

Approvals:
  Trevor Parscal: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/resources/Resources.php b/resources/Resources.php
index 0982b29..46a342c 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -329,10 +329,6 @@
                                
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.core.css',
                                
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.theme.css',
                        ),
-                       'vector' => array(
-                               
'resources/src/jquery.ui-themes/vector/jquery.ui.core.css',
-                               
'resources/src/jquery.ui-themes/vector/jquery.ui.theme.css',
-                       ),
                ),
                'group' => 'jquery.ui',
        ),
@@ -344,7 +340,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.accordion.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.accordion.css',
                ),
                'group' => 'jquery.ui',
        ),
@@ -358,7 +353,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.autocomplete.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.autocomplete.css',
                ),
                'group' => 'jquery.ui',
        ),
@@ -370,7 +364,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.button.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.button.css',
                ),
                'group' => 'jquery.ui',
        ),
@@ -379,7 +372,6 @@
                'dependencies' => 'jquery.ui.core',
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.datepicker.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.datepicker.css',
                ),
                'languageScripts' => array(
                        'af' => 
'resources/lib/jquery.ui/i18n/jquery.ui.datepicker-af.js',
@@ -465,7 +457,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.dialog.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.dialog.css',
                ),
                'group' => 'jquery.ui',
        ),
@@ -518,7 +509,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.progressbar.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.progressbar.css',
                ),
                'group' => 'jquery.ui',
        ),
@@ -531,7 +521,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.resizable.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.resizable.css',
                ),
                'group' => 'jquery.ui',
        ),
@@ -544,7 +533,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.selectable.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.selectable.css',
                ),
                'group' => 'jquery.ui',
        ),
@@ -557,7 +545,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.slider.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.slider.css',
                ),
                'group' => 'jquery.ui',
        ),
@@ -591,7 +578,6 @@
                ),
                'skinStyles' => array(
                        'default' => 
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.tabs.css',
-                       'vector' => 
'resources/src/jquery.ui-themes/vector/jquery.ui.tabs.css',
                ),
                'group' => 'jquery.ui',
        ),
diff --git a/skins/Vector/Vector.php b/skins/Vector/Vector.php
index abcc65d..a08d121 100644
--- a/skins/Vector/Vector.php
+++ b/skins/Vector/Vector.php
@@ -65,8 +65,24 @@
 
 // Apply module customizations
 $wgResourceModuleSkinStyles['vector'] = array(
-       'mediawiki.special' => 'special.less',
-       'mediawiki.special.preferences' => 'special.preferences.less',
+       'jquery.tipsy' => 'skinStyles/jquery.tipsy.less',
+       'jquery.ui.core' => array(
+               'skinStyles/jquery.ui/jquery.ui.core.css',
+               'skinStyles/jquery.ui/jquery.ui.theme.css',
+       ),
+       'jquery.ui.accordion' => 'skinStyles/jquery.ui/jquery.ui.accordion.css',
+       'jquery.ui.autocomplete' => 
'skinStyles/jquery.ui/jquery.ui.autocomplete.css',
+       'jquery.ui.button' => 'skinStyles/jquery.ui/jquery.ui.button.css',
+       'jquery.ui.datepicker' => 
'skinStyles/jquery.ui/jquery.ui.datepicker.css',
+       'jquery.ui.dialog' => 'skinStyles/jquery.ui/jquery.ui.dialog.css',
+       'jquery.ui.progressbar' => 
'skinStyles/jquery.ui/jquery.ui.progressbar.css',
+       'jquery.ui.resizable' => 'skinStyles/jquery.ui/jquery.ui.resizable.css',
+       'jquery.ui.selectable' => 
'skinStyles/jquery.ui/jquery.ui.selectable.css',
+       'jquery.ui.slider' => 'skinStyles/jquery.ui/jquery.ui.slider.css',
+       'jquery.ui.tabs' => 'skinStyles/jquery.ui/jquery.ui.tabs.css',
+       'mediawiki.notification' => 'skinStyles/mediawiki.notification.less',
+       'mediawiki.special' => 'skinStyles/mediawiki.special.less',
+       'mediawiki.special.preferences' => 
'skinStyles/mediawiki.special.preferences.less',
        'remoteSkinPath' => 'Vector',
        'localBasePath' => __DIR__,
 );
diff --git a/skins/Vector/components/common.less 
b/skins/Vector/components/common.less
index 33cd230..1aee34d 100644
--- a/skins/Vector/components/common.less
+++ b/skins/Vector/components/common.less
@@ -132,9 +132,3 @@
        line-height: @content-line-height;
        font-size: @content-font-size;
 }
-
-/* Tooltips are outside of the normal body code, so this helps make the size 
of the text sensible */
-// FIXME: Should be part of jquery.tipsy.css
-.tipsy {
-       font-size: 0.8em;
-}
diff --git a/skins/Vector/skinStyles/jquery.tipsy.less 
b/skins/Vector/skinStyles/jquery.tipsy.less
new file mode 100644
index 0000000..0e0c8ec
--- /dev/null
+++ b/skins/Vector/skinStyles/jquery.tipsy.less
@@ -0,0 +1,4 @@
+/* Tooltips are outside of the normal body code, so this helps make the size 
of the text sensible */
+.tipsy {
+       font-size: 0.8em;
+}
diff --git a/resources/src/jquery.ui-themes/vector/images/close.png 
b/skins/Vector/skinStyles/jquery.ui/images/close.png
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/images/close.png
rename to skins/Vector/skinStyles/jquery.ui/images/close.png
Binary files differ
diff --git a/resources/src/jquery.ui-themes/vector/images/titlebar-fade.png 
b/skins/Vector/skinStyles/jquery.ui/images/titlebar-fade.png
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/images/titlebar-fade.png
rename to skins/Vector/skinStyles/jquery.ui/images/titlebar-fade.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-anim_basic_16x16.gif 
b/skins/Vector/skinStyles/jquery.ui/images/ui-anim_basic_16x16.gif
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/images/ui-anim_basic_16x16.gif
rename to skins/Vector/skinStyles/jquery.ui/images/ui-anim_basic_16x16.gif
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-bg_flat_15_cd0a0a_40x100.png 
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_15_cd0a0a_40x100.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-bg_flat_15_cd0a0a_40x100.png
rename to 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_15_cd0a0a_40x100.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-bg_flat_70_000000_40x100.png 
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_70_000000_40x100.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-bg_flat_70_000000_40x100.png
rename to 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_70_000000_40x100.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
 
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
rename to 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
 
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
rename to 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
 
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
rename to 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_100_ffffff_1x100.png
 
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_ffffff_1x100.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_100_ffffff_1x100.png
rename to 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_ffffff_1x100.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
 
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
rename to 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
 
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
rename to 
skins/Vector/skinStyles/jquery.ui/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-icons_2694e8_256x240.png 
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_2694e8_256x240.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-icons_2694e8_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_2694e8_256x240.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-icons_2e83ff_256x240.png 
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_2e83ff_256x240.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-icons_2e83ff_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_2e83ff_256x240.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-icons_3d80b3_256x240.png 
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_3d80b3_256x240.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-icons_3d80b3_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_3d80b3_256x240.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-icons_666666_256x240.png 
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_666666_256x240.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-icons_666666_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_666666_256x240.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-icons_72a7cf_256x240.png 
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_72a7cf_256x240.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-icons_72a7cf_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_72a7cf_256x240.png
Binary files differ
diff --git 
a/resources/src/jquery.ui-themes/vector/images/ui-icons_ffffff_256x240.png 
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_ffffff_256x240.png
similarity index 100%
rename from 
resources/src/jquery.ui-themes/vector/images/ui-icons_ffffff_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_ffffff_256x240.png
Binary files differ
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.accordion.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.accordion.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.accordion.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.accordion.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.autocomplete.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.autocomplete.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.autocomplete.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.autocomplete.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.button.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.button.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.button.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.button.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.core.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.core.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.core.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.core.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.datepicker.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.datepicker.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.datepicker.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.datepicker.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.dialog.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.dialog.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.dialog.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.dialog.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.progressbar.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.progressbar.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.progressbar.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.progressbar.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.resizable.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.resizable.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.resizable.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.resizable.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.selectable.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.selectable.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.selectable.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.selectable.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.slider.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.slider.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.slider.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.slider.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.tabs.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.tabs.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.tabs.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.tabs.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.theme.css 
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.theme.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.theme.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.theme.css
diff --git a/skins/Vector/components/notifications.less 
b/skins/Vector/skinStyles/mediawiki.notification.less
similarity index 94%
rename from skins/Vector/components/notifications.less
rename to skins/Vector/skinStyles/mediawiki.notification.less
index 5bb6f1a..55cfe76 100644
--- a/skins/Vector/components/notifications.less
+++ b/skins/Vector/skinStyles/mediawiki.notification.less
@@ -1,3 +1,5 @@
+@import "../variables";
+
 /* mediawiki.notification */
 
 // This wrapper class is needed to ensure these rules have larger CSS
diff --git a/skins/Vector/special.less 
b/skins/Vector/skinStyles/mediawiki.special.less
similarity index 100%
rename from skins/Vector/special.less
rename to skins/Vector/skinStyles/mediawiki.special.less
diff --git a/skins/Vector/special.preferences.less 
b/skins/Vector/skinStyles/mediawiki.special.preferences.less
similarity index 98%
rename from skins/Vector/special.preferences.less
rename to skins/Vector/skinStyles/mediawiki.special.preferences.less
index a9b1006..592a64d 100644
--- a/skins/Vector/special.preferences.less
+++ b/skins/Vector/skinStyles/mediawiki.special.preferences.less
@@ -1,5 +1,5 @@
 @import "mediawiki.mixins";
-@import "variables";
+@import "../variables";
 
 /**
  * The following code is highly modified from monobook. It would be nice if the

-- 
To view, visit https://gerrit.wikimedia.org/r/148304
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If248781e44300039eb52262d03b2f6722838dd12
Gerrit-PatchSet: 8
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Daniel Friesen <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Trevor Parscal <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to