mediawiki.special: Remove unused mediawiki.special.js
authorTimo Tijhof <krinklemail@gmail.com>
Thu, 26 May 2016 17:42:21 +0000 (18:42 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Thu, 26 May 2016 17:51:21 +0000 (18:51 +0100)
commitc740604ad3e78a9d4ca108f217d2fa358ce20649
treee1eee5e09e6db5a2cb6e7db7c918105a6eee52c0
parentd42d8b9baa131f9d912eeb2e287f00cf66a53e88
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
resources/Resources.php
resources/src/mediawiki.special/mediawiki.special.js [deleted file]