Remove htmlspecialchars for Html::hidden

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

diff --git a/resources/Resources.php b/resources/Resources.php
index a0e1863..34b0836 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -133,7 +133,7 @@ return [
 
        'jquery' => [
                'scripts' => [
-                       'resources/lib/jquery/jquery3.js',
+                       'resources/lib/jquery/jquery.js',
                        'resources/lib/jquery/jquery.migrate.js',
                ],
                'raw' => true,
@@ -1134,6 +1134,7 @@ return [
                'scripts' => 'resources/src/mediawiki/mediawiki.notification.js',
                'dependencies' => [
                        'mediawiki.util',
+                       'mediawiki.visibleTimeout',
                ],
                'targets' => [ 'desktop', 'mobile' ],
        ],
@@ -1392,6 +1393,10 @@ return [
                'styles' => 'resources/src/mediawiki/mediawiki.editfont.css',
                'targets' => [ 'desktop', 'mobile' ],
        ],
+       'mediawiki.visibleTimeout' => [
+               'scripts' => 'resources/src/mediawiki/mediawiki.visibleTimeout.js',
+               'targets' => [ 'desktop', 'mobile' ],
+       ],
 
        /* MediaWiki Action */
 
@@ -1854,6 +1859,7 @@ return [
                        'rcfilters-savedqueries-new-name-label',
                        'rcfilters-savedqueries-new-name-placeholder',
                        'rcfilters-savedqueries-add-new-title',
+                       'rcfilters-savedqueries-already-saved',
                        'rcfilters-savedqueries-apply-label',
                        'rcfilters-savedqueries-apply-and-setdefault-label',
                        'rcfilters-savedqueries-cancel-label',