Remove 0.8em default overlay hack

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

diff --git a/resources/Resources.php b/resources/Resources.php
index c1d3426..a424b59 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -2633,6 +2633,23 @@ return [
                'styles' => 'resources/src/mediawiki.widgets/mw.widgets.SelectWithInputWidget.base.css',
                'targets' => [ 'desktop', 'mobile' ],
        ],
+       'mediawiki.widgets.SizeFilterWidget' => [
+               'scripts' => 'resources/src/mediawiki.widgets/mw.widgets.SizeFilterWidget.js',
+               'dependencies' => [
+                       'mediawiki.widgets.SizeFilterWidget.styles',
+                       'oojs-ui-widgets',
+               ],
+               'messages' => [
+                       'minimum-size',
+                       'maximum-size',
+                       'pagesize',
+               ],
+               'targets' => [ 'desktop', 'mobile' ],
+       ],
+       'mediawiki.widgets.SizeFilterWidget.styles' => [
+               'styles' => 'resources/src/mediawiki.widgets/mw.widgets.SizeFilterWidget.base.css',
+               'targets' => [ 'desktop', 'mobile' ],
+       ],
        'mediawiki.widgets.MediaSearch' => [
                'scripts' => [
                        'resources/src/mediawiki.widgets/MediaSearch/mw.widgets.APIResultsProvider.js',
@@ -2808,7 +2825,6 @@ return [
                'class' => ResourceLoaderOOUIFileModule::class,
                'styles' => [
                        'resources/lib/oojs-ui/wikimedia-ui-base.less', // Providing Wikimedia UI LESS variables to all
-                       'resources/src/oojs-ui-local.css', // HACK, see inside the file
                ],
                'themeStyles' => 'core',
                'targets' => [ 'desktop', 'mobile' ],