From a203a3a50d07600a28e3922573e8557059552d3d Mon Sep 17 00:00:00 2001
From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Wed, 28 Oct 2009 08:27:19 +0000
Subject: [PATCH]

---
 includes/DefaultSettings.php | 2 +-
 skins/common/shared.css      | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 0e6609e646..537d52c26e 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1605,7 +1605,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '248';
+$wgStyleVersion = '249';
 
 
 # Server-side caching:
diff --git a/skins/common/shared.css b/skins/common/shared.css
index 00f1716de8..c4fcb42eca 100644
--- a/skins/common/shared.css
+++ b/skins/common/shared.css
@@ -531,6 +531,7 @@ div.mw-warning-with-logexcerpt {
 	padding: 3px;
 	margin-bottom: 3px;
 	border: 2px solid #2F6FAB;
+	clear: both;
 }
 div.mw-warning-with-logexcerpt ul li {
 	font-size: 90%;
-- 
2.20.1