mediawiki.special: Remove unused mediawiki.special.js
[lhc/web/wiklou.git] / resources / Resources.php
index 2cc8c2e..a024307 100644 (file)
@@ -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' ],
        ],