Merge "Add mobile target to mediawiki.special"

diff --git a/resources/Resources.php b/resources/Resources.php
index f4e5e72..560bad6 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1683,6 +1683,7 @@ return [
                'position' => 'top',
                'scripts' => 'resources/src/mediawiki.special/mediawiki.special.js',
                'styles' => 'resources/src/mediawiki.special/mediawiki.special.css',
+               'targets' => [ 'desktop', 'mobile' ],
        ],
        'mediawiki.special.apisandbox.styles' => [
                'styles' => 'resources/src/mediawiki.special/mediawiki.special.apisandbox.top.css',