From 7e41e0928f1579b8e3d21a6b83d8a6841baa81f7 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Thu, 12 Jun 2008 15:37:38 +0000
Subject: [PATCH] Bump $wgStyleVersion to 155.

---
 includes/DefaultSettings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 100965d005..6020b4a1f4 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1341,7 +1341,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches don't keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '154';
+$wgStyleVersion = '155';
 
 
 # Server-side caching:
-- 
2.20.1