Add mobile target to mediawiki.special
authorAlex Monk <krenair@gmail.com>
Sun, 14 Feb 2016 20:01:44 +0000 (20:01 +0000)
committerAlex Monk <krenair@gmail.com>
Tue, 1 Mar 2016 11:50:16 +0000 (11:50 +0000)
Bug: T126935
Change-Id: I1135397d150b5ad978da88bfd9d85c1d9e294eb7

resources/Resources.php

index f4e5e72..560bad6 100644 (file)
@@ -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',