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

diff --git a/resources/Resources.php b/resources/Resources.php
index 46a342c..78c0fe7 100644 (file)
--- 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(