From de0c7cb1c18039d51ce947dcd567010bde616bab Mon Sep 17 00:00:00 2001 From: Erik Bernhardson Date: Thu, 19 Mar 2015 16:48:18 -0700 Subject: [PATCH] Allow usage of mediawiki.api.options on mobile Change-Id: Ic5b8bc2e5e5e87cd5545812b7c20d73f630ec8e7 --- resources/Resources.php | 1 + 1 file changed, 1 insertion(+) diff --git a/resources/Resources.php b/resources/Resources.php index f88e587732..c027539cbc 100644 --- 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', -- 2.20.1