From: Erik Bernhardson <ebernhardson@wikimedia.org>
Date: Thu, 19 Mar 2015 23:48:18 +0000 (-0700)
Subject: Allow usage of mediawiki.api.options on mobile
X-Git-Tag: 1.31.0-rc.0~12029^2
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/membres/fiche.php?a=commitdiff_plain;h=de0c7cb1c18039d51ce947dcd567010bde616bab;p=lhc%2Fweb%2Fwiklou.git

Allow usage of mediawiki.api.options on mobile

Change-Id: Ic5b8bc2e5e5e87cd5545812b7c20d73f630ec8e7
---

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',