https://bugzilla.wikimedia.org/show_bug.cgi?id=55554
--- Comment #20 from Bartosz Dziewoński <[email protected]> --- Well, then the patch is just: diff --git a/resources/Resources.php b/resources/Resources.php index a022c6d..c99b6d1 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1179,10 +1179,7 @@ return array( 'position' => 'top', ), 'mediawiki.ui' => array( - 'skinStyles' => array( - 'default' => 'resources/mediawiki.ui/default.less', - 'vector' => 'resources/mediawiki.ui/vector.less', - ), + 'styles' => 'resources/mediawiki.ui/vector.less', 'position' => 'top', ), ); But now the "vector" hardcoded in the module name would be silly and renaming that would be boring grunt work. We should probably rename "default" → "base" and "vector" → "default" in file names etc., or something like that. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
