From 1045a4282a20fc615139954d719ef1c8f1e462dd Mon Sep 17 00:00:00 2001 From: Derk-Jan Hartman Date: Sun, 16 May 2010 15:47:38 +0000 Subject: [PATCH] Update wgStyleVersion. Follow up to r66534 and r66535 --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index b0f742ae2c..5b7ef4853b 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1677,7 +1677,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches do not keep obsolete copies of global * styles. */ -$wgStyleVersion = '279'; +$wgStyleVersion = '280'; # Server-side caching: -- 2.20.1