Allow usage of mediawiki.api.options on mobile

Change-Id: Ic5b8bc2e5e5e87cd5545812b7c20d73f630ec8e7

diff --git a/resources/Resources.php b/resources/Resources.php
index f88e587..c027539 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -823,6 +823,7 @@ return array(
        'mediawiki.api.options' => array(
                'scripts' => 'resources/src/mediawiki.api/mediawiki.api.options.js',
                'dependencies' => 'mediawiki.api',
+               'targets' => array( 'desktop', 'mobile' ),
        ),
        'mediawiki.api.parse' => array(
                'scripts' => 'resources/src/mediawiki.api/mediawiki.api.parse.js',