From d5bf3586e8e54d1af33cd2c57df42ad10a81f8b1 Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Mon, 21 Jul 2008 20:22:17 +0000 Subject: [PATCH] Per r37889: $wgStyleVersion++; --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index c58d69f493..2e2a9a1e65 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1368,7 +1368,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches don't keep obsolete copies of global * styles. */ -$wgStyleVersion = '163'; +$wgStyleVersion = '164'; # Server-side caching: -- 2.20.1