From b61b5e188152de3c0115a85a24b55a5fa5396142 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Tue, 22 Jul 2014 02:50:08 +0200 Subject: [PATCH] Resources.php: Remove/deprecate 'skinStyles' references to 'minerva' skin It doesn't even exist in core: it is part of the MobileFrontend extension. The skin style overrides should be reapplied there using $wgResourceModuleSkinStyles: done in I30c8ce13. OOjs UI has some weird build process that currently requires this, though. According to James, that will be fixed "in a couple of months". Change-Id: If82556a41c0510a70796a09b3555d2c91a7abb52 --- resources/Resources.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/Resources.php b/resources/Resources.php index 46a342c74a..78c0fe73a5 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -113,7 +113,6 @@ return array( // skin over-rides common content styling. 'skinStyles' => array( 'default' => 'resources/src/mediawiki.skinning/content.parsoid.less', - 'minerva' => array(), ), 'targets' => array( 'desktop', 'mobile' ), ), @@ -1471,6 +1470,7 @@ return array( ), 'skinStyles' => array( 'default' => 'resources/lib/oojs-ui/oojs-ui-apex.css', + // FIXME As of July 2014, this is to be gone "in a couple of months". 'minerva' => 'resources/lib/oojs-ui/oojs-ui-agora.css', ), 'messages' => array( -- 2.20.1