From c3519e6d303ffdf43e5b94bb556aa3975615ac7b Mon Sep 17 00:00:00 2001 From: Aryeh Gregor Date: Mon, 16 Jul 2007 15:53:55 +0000 Subject: [PATCH] , too --- includes/DefaultSettings.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index a5f399e5c1..0eb4fb71e4 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1201,7 +1201,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches don't keep obsolete copies of global * styles. */ -$wgStyleVersion = '84'; +$wgStyleVersion = '85'; # Server-side caching: @@ -2695,4 +2695,4 @@ $wgDisableOutputCompression = false; * show a more obvious warning. */ $wgSlaveLagWarning = 10; -$wgSlaveLagCritical = 30; \ No newline at end of file +$wgSlaveLagCritical = 30; -- 2.20.1