| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1201,7 +1201,7 @@ |
| 1202 | 1202 | * to ensure that client-side caches don't keep obsolete copies of global |
| 1203 | 1203 | * styles. |
| 1204 | 1204 | */ |
| 1205 | | -$wgStyleVersion = '84'; |
| | 1205 | +$wgStyleVersion = '85'; |
| 1206 | 1206 | |
| 1207 | 1207 | |
| 1208 | 1208 | # Server-side caching: |
| — | — | @@ -2695,4 +2695,4 @@ |
| 2696 | 2696 | * show a more obvious warning. |
| 2697 | 2697 | */ |
| 2698 | 2698 | $wgSlaveLagWarning = 10; |
| 2699 | | -$wgSlaveLagCritical = 30; |
| \ No newline at end of file |
| | 2699 | +$wgSlaveLagCritical = 30; |