TitleWidget: Use OOUI query highlighting, instead of jQuery lib

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

diff --git a/resources/Resources.php b/resources/Resources.php
index f9590ec..235bb59 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -2398,8 +2398,6 @@ return [
                        'mediawiki.Title',
                        'mediawiki.api',
                        'jquery.byteLimit',
-                       // TitleOptionWidget
-                       'jquery.highlightText',
                ],
                'messages' => [
                        // NamespaceInputWidget