| Index: trunk/extensions/WikimediaMobile/WikimediaMobile.php |
| — | — | @@ -19,7 +19,7 @@ |
| 20 | 20 | /** |
| 21 | 21 | * Increment this when the JS file changes |
| 22 | 22 | */ |
| 23 | | -$wgWikimediaMobileVersion = '4'; |
| | 23 | +$wgWikimediaMobileVersion = '6'; |
| 24 | 24 | |
| 25 | 25 | /** |
| 26 | 26 | * The base URL of the mobile gateway |
| — | — | @@ -32,8 +32,10 @@ |
| 33 | 33 | |
| 34 | 34 | function wfWikimediaMobileAddJs( &$outputPage, &$skin ) { |
| 35 | 35 | global $wgOut, $wgExtensionAssetsPath, $wgWikimediaMobileVersion; |
| 36 | | - |
| 37 | | - $wgOut->addScript( Html::linkedScript( |
| | 36 | + |
| | 37 | + # Live hack to put mobile redirect script in <head> --catrope Mar 5, 2011 |
| | 38 | + $wgOut->addHeadItem( 'mobileredirect', Html::linkedScript( |
| | 39 | + #$wgOut->addScript( Html::linkedScript( |
| 38 | 40 | "$wgExtensionAssetsPath/WikimediaMobile/MobileRedirect.js?$wgWikimediaMobileVersion" |
| 39 | 41 | ) ); |
| 40 | 42 | return true; |
| — | — | @@ -44,4 +46,3 @@ |
| 45 | 47 | $vars['wgWikimediaMobileUrl'] = $wgWikimediaMobileUrl; |
| 46 | 48 | return true; |
| 47 | 49 | } |
| 48 | | - |