From a4e6be8f16c8c1234237b6a0ab7438ce2e492d93 Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Sat, 19 Apr 2008 09:17:32 +0000 Subject: [PATCH] Per r33580: Bump $wgStyleVersion --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index da74aee564..a782a5d144 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1334,7 +1334,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches don't keep obsolete copies of global * styles. */ -$wgStyleVersion = '136'; +$wgStyleVersion = '137'; # Server-side caching: -- 2.20.1