Index: trunk/phase3/includes/DefaultSettings.php |
— | — | @@ -1383,7 +1383,7 @@ |
1384 | 1384 | * to ensure that client-side caches don't keep obsolete copies of global |
1385 | 1385 | * styles. |
1386 | 1386 | */ |
1387 | | -$wgStyleVersion = '171'; |
| 1387 | +$wgStyleVersion = '172'; |
1388 | 1388 | |
1389 | 1389 | |
1390 | 1390 | # Server-side caching: |