resources: Deprecate the 'jquery.badge' module

Only used in the PageTriage extension, which can provide it itself:

https://github.com/search?utf8=%E2%9C%93&q=%22jquery.badge%22+%40wikimedia+-repo%3Awikimedia%2Fjquery.badge+-repo%3Awikimedia%2Fmediawiki-debian&type=Code

Bug: T178450
Change-Id: Ibe4ff6a1f39fc554dcf4fc20cc214521d854f1ec

diff --git a/RELEASE-NOTES-1.30 b/RELEASE-NOTES-1.30
index bec7b86..bcdd436 100644 (file)
--- a/RELEASE-NOTES-1.30
+++ b/RELEASE-NOTES-1.30
@@ -240,6 +240,9 @@ changes to languages because of Phabricator reports.
 * (T138166) SpecialEmailUser::getTarget() now requires a second argument, the sending
   user object. Using the method without the second argument is deprecated.
 * (T67297) Browsers that don't support Unicode will have their edits rejected.
+* (T178450) The module 'jquery.badge' is deprecated and will be removed in a future
+  release. For notifying the user of an event, the Notifications ("Echo") system
+  should be used instead.
 
 == Compatibility ==
 MediaWiki 1.30 requires PHP 5.5.9 or later. There is experimental support for

diff --git a/resources/Resources.php b/resources/Resources.php
index 7afd89d..b4a3f2f 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -165,6 +165,7 @@ return [
                'targets' => [ 'desktop', 'mobile' ],
        ],
        'jquery.badge' => [
+               'deprecated' => 'Please use Notifications instead.',
                'scripts' => 'resources/src/jquery/jquery.badge.js',
                'styles' => 'resources/src/jquery/jquery.badge.css',
                'dependencies' => 'mediawiki.language',