| 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 = '3'; |
| | 23 | +$wgWikimediaMobileVersion = '4'; |
| 24 | 24 | |
| 25 | 25 | /** |
| 26 | 26 | * The base URL of the mobile gateway |