Merge "resources: Remove the deprecated 'jquery.badge' module"

[lhc/web/wiklou.git] / resources / Resources.php

diff --git a/resources/Resources.php b/resources/Resources.php
index 1a2d707..ec995bc 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -164,12 +164,6 @@ return [
                'dependencies' => 'jquery.highlightText',
                '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',
-       ],
        'jquery.byteLength' => [
                'scripts' => 'resources/src/jquery/jquery.byteLength.js',
                'targets' => [ 'desktop', 'mobile' ],