From: Derk-Jan Hartman <hartman@users.mediawiki.org>
Date: Sun, 16 May 2010 15:47:38 +0000 (+0000)
Subject: Update wgStyleVersion. Follow up to r66534 and r66535
X-Git-Tag: 1.31.0-rc.0~36827
X-Git-Url: https://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=1045a4282a20fc615139954d719ef1c8f1e462dd;p=lhc%2Fweb%2Fwiklou.git

Update wgStyleVersion. Follow up to r66534 and r66535
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index b0f742ae2c..5b7ef4853b 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1677,7 +1677,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '279';
+$wgStyleVersion = '280';
 
 
 # Server-side caching: