Allow mediawiki.cookie module to be used on mobile

Change-Id: If9cce75738e11a552eee620bdab8b2e2c5938392

diff --git a/resources/Resources.php b/resources/Resources.php
index 24e2fc2..e53ed54 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1002,6 +1002,7 @@ return array(
                'dependencies' => array(
                        'jquery.cookie',
                ),
+               'targets' => array( 'desktop', 'mobile' ),
        ),
        'mediawiki.toolbar' => array(
                'class' => 'ResourceLoaderEditToolbarModule',