| Index: branches/wmf/1.17wmf1/extensions/WikimediaMobile/WikimediaMobile.php |
| — | — | @@ -19,7 +19,7 @@ |
| 20 | 20 | /** |
| 21 | 21 | * Increment this when the JS file changes |
| 22 | 22 | */ |
| 23 | | -$wgWikimediaMobileVersion = '5'; |
| | 23 | +$wgWikimediaMobileVersion = '6'; |
| 24 | 24 | |
| 25 | 25 | /** |
| 26 | 26 | * The base URL of the mobile gateway |
| Index: branches/wmf/1.17wmf1/extensions/WikimediaMobile/MobileRedirect.js |
| — | — | @@ -14,7 +14,7 @@ |
| 15 | 15 | && (wgAction == "view")) // Don't redirect URLs that aren't simple page views |
| 16 | 16 | */ |
| 17 | 17 | && (!document.getElementsByClassName || document.getElementsByClassName( 'ns--1' ).length == 0) |
| 18 | | - && (document.location.href.indexOf( 'action=' ) == -1 || document.location.href.indexOf( 'action=view' ) != -1 ) |
| | 18 | + && (document.location.href.indexOf( 'action=' ) == -1 || document.location.href.indexOf( 'action=view' ) != -1 )) |
| 19 | 19 | { |
| 20 | 20 | |
| 21 | 21 | // If we've made it here, then we are going ahead with the redirect |