Enable mediawiki.action.view.redirect on mobile

Added mobile target to its entry in Resources.php.  Tested in
Chromium dev tools with various emulated mobile devices and it Just
Works.

Bug: T93262
Change-Id: Idb416b0877ea5a3764936389dfe59d4653ad96d0

diff --git a/resources/Resources.php b/resources/Resources.php
index a3b997b..1037528 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1478,6 +1478,7 @@ return array(
                'scripts' => 'resources/src/mediawiki.action/mediawiki.action.view.redirect.js',
                'dependencies' => 'jquery.client',
                'position' => 'top',
+               'targets' => array( 'desktop', 'mobile' ),
        ),
        'mediawiki.action.view.redirectPage' => array(
                'position' => 'top',