Jhernandez has uploaded a new change for review.
https://gerrit.wikimedia.org/r/191304
Change subject: Remove desktop group from special page
......................................................................
Remove desktop group from special page
Since that module for the special page styles depends con special.minerva and
that does not have a group desktop jenkins complains about it when running core
tests.
Change-Id: I1909ee668a3e219cd4013297ba8acbcf8101e516
---
M extension.json
M includes/Resources.php
2 files changed, 2 insertions(+), 3 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Gather
refs/changes/04/191304/1
diff --git a/extension.json b/extension.json
index dfa5340..6261998 100644
--- a/extension.json
+++ b/extension.json
@@ -59,8 +59,7 @@
},
"ext.collections.styles": {
"targets": [
- "mobile",
- "desktop"
+ "mobile"
],
"styles": [
"ext.collections.styles/icons.less",
diff --git a/includes/Resources.php b/includes/Resources.php
index a1b2275..cddea5e 100644
--- a/includes/Resources.php
+++ b/includes/Resources.php
@@ -62,7 +62,7 @@
),
),
- 'ext.collections.styles' => $wgGatherResourceFileModuleBoilerplate +
array(
+ 'ext.collections.styles' =>
$wgGatherMobileSpecialPageResourceBoilerplate + array(
'styles' => array(
'ext.collections.styles/icons.less',
'ext.collections.styles/collections.less',
--
To view, visit https://gerrit.wikimedia.org/r/191304
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I1909ee668a3e219cd4013297ba8acbcf8101e516
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Gather
Gerrit-Branch: master
Gerrit-Owner: Jhernandez <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
