jenkins-bot has submitted this change and it was merged.
Change subject: mediawiki.special: Remove unused mediawiki.special.js
......................................................................
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
---
M resources/Resources.php
D resources/src/mediawiki.special/mediawiki.special.js
2 files changed, 0 insertions(+), 10 deletions(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/Resources.php b/resources/Resources.php
index 2cc8c2e..a024307 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1726,7 +1726,6 @@
'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
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 = {};
--
To view, visit https://gerrit.wikimedia.org/r/290998
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7bb000c9946d194fd1ae7f9a18fbc031ba225f25
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
