mediawiki.special: Remove unused mediawiki.special.js

'mediawiki.special' violates T92459 due to having both script and styles and
being loaded as a styles-only module. This avoids the warning from I8b6c6a10d.

> Unexpected general module 'mediawiki.special' in styles queue.

mw.special was first introduced in r90943 (d4abcb526806). I regretted recommending it.

Change-Id: I7bb000c9946d194fd1ae7f9a18fbc031ba225f25

diff --git a/resources/Resources.php b/resources/Resources.php
index 2cc8c2e..a024307 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1726,7 +1726,6 @@ return [
 
        'mediawiki.special' => [
                'position' => 'top',
-               'scripts' => 'resources/src/mediawiki.special/mediawiki.special.js',
                'styles' => 'resources/src/mediawiki.special/mediawiki.special.css',
                'targets' => [ 'desktop', 'mobile' ],
        ],

diff --git a/resources/src/mediawiki.special/mediawiki.special.js b/resources/src/mediawiki.special/mediawiki.special.js
deleted file mode 100644 (file)
index 630d162..0000000
--- a/resources/src/mediawiki.special/mediawiki.special.js
+++ /dev/null
@@ -1,9 +0,0 @@
-/*!
- * Namespace for mediawiki.special.* modules
- */
-
-/**
- * @class mw.special
- * @singleton
- */
-mediaWiki.special = {};