Add mobile target to mediawiki.special

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

diff --git a/resources/Resources.php b/resources/Resources.php
index 1179a9a..560bad6 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1480,6 +1480,7 @@ return [
        ],
        'mediawiki.action.view.redirectPage' => [
                'position' => 'top',
+               'targets' => [ 'desktop', 'mobile' ],
                'styles' => 'resources/src/mediawiki.action/mediawiki.action.view.redirectPage.css',
        ],
        'mediawiki.action.view.rightClickEdit' => [
@@ -1682,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',