From 46cabd425225d53c6ff08d3b41a2f619a84f1617 Mon Sep 17 00:00:00 2001 From: Alex Monk Date: Sun, 14 Feb 2016 20:01:44 +0000 Subject: [PATCH] Add mobile target to mediawiki.special Bug: T126935 Change-Id: I1135397d150b5ad978da88bfd9d85c1d9e294eb7 --- resources/Resources.php | 1 + 1 file changed, 1 insertion(+) diff --git a/resources/Resources.php b/resources/Resources.php index f4e5e72bfc..560bad65c1 100644 --- 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', -- 2.20.1