Merge "Make JSON styling available on mobile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 May 2019 17:00:10 +0000 (17:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 May 2019 17:00:10 +0000 (17:00 +0000)
resources/Resources.php

index 469f78e..a3f51da 100644 (file)
@@ -866,6 +866,7 @@ return [
        ],
        'mediawiki.content.json' => [
                'styles' => 'resources/src/mediawiki.content.json.less',
+               'targets' => [ 'desktop', 'mobile' ],
        ],
        'mediawiki.confirmCloseWindow' => [
                'scripts' => [