From: Chad Horohoe <demon@users.mediawiki.org>
Date: Sat, 6 Sep 2008 02:46:55 +0000 (+0000)
Subject: Bump $wgStyleVersion for r40507
X-Git-Tag: 1.31.0-rc.0~45454
X-Git-Url: http://git.cyclocoop.org/%24href?a=commitdiff_plain;h=a9ca28e74038509a284296bf93805e869333139c;p=lhc%2Fweb%2Fwiklou.git

Bump $wgStyleVersion for r40507
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index eb39029482..bf092b52f3 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1383,7 +1383,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches don't keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '171';
+$wgStyleVersion = '172';
 
 
 # Server-side caching: