Merge "Load mediawiki.action.view.redirectToFragment in mobile"

diff --cc resources/Resources.php
index 24e377d,d938ebc..107f123
--- 1/resources/Resources.php
--- 2/resources/Resources.php
+++ b/resources/Resources.php
@@@ -1051,11 -1051,7 +1051,12 @@@ return array
                        'jquery.client',
                ),
                'position' => 'top',
 +      ),
 +      // Deployment hack for compatibility with cached HTML, remove before 1.24 release
 +      'mediawiki.action.view.redirectToFragment' => array(
 +              'dependencies' => 'mediawiki.action.view.redirect',
 +              'position' => 'top',
+               'targets' => array( 'desktop', 'mobile' ),
        ),
        'mediawiki.action.view.rightClickEdit' => array(
                'scripts' => 'resources/src/mediawiki.action/mediawiki.action.view.rightClickEdit.js',