Inc $wgStyleVersion to reflect changes in r57030 and r57034 (watch/unwatch icon refactor)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 54d10d4..466855e 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1606,7 +1606,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '242';
+$wgStyleVersion = '243';
 
 
 # Server-side caching: