Merge "Allow usage of mediawiki.api.options on mobile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 21 Mar 2015 00:34:51 +0000 (00:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 21 Mar 2015 00:34:51 +0000 (00:34 +0000)
commitad43cdb0ddd1cfe76cb2c9e40339e4fa1fa113b0
treea041fd2a117086916fa4a4d424bb60285822e649
parent71b2310e001133b21f6d2c6fc40b7d1fa20b86e5
parentde0c7cb1c18039d51ce947dcd567010bde616bab
Merge "Allow usage of mediawiki.api.options on mobile"