jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/362513 )
Change subject: Avoid using Minerva name until it has been removed from
MobileFrontend
......................................................................
Avoid using Minerva name until it has been removed from MobileFrontend
Without this desktop Minerva will throw a fatal exception.
This will be remedied later.
Change-Id: Iaa15dbb3180de95a7a79a5cac3909c9f0b98843b
---
M skin.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Jdlrobson: Looks good to me, approved
diff --git a/skin.json b/skin.json
index 64a8a45..cdb5421 100644
--- a/skin.json
+++ b/skin.json
@@ -18,7 +18,7 @@
},
"ResourceModules": {},
"ValidSkinNames": {
- "minerva": "Minerva"
+ "minerva-neue": "MinervaNeue"
},
"author": [],
"config": {},
--
To view, visit https://gerrit.wikimedia.org/r/362513
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaa15dbb3180de95a7a79a5cac3909c9f0b98843b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/MinervaNeue
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
