From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 4 Jun 2015 07:31:04 +0200
Subject: Update to MediaWiki 1.25.1

---
 extensions/WikiEditor/modules/jquery.wikiEditor.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'extensions/WikiEditor/modules/jquery.wikiEditor.html')

diff --git a/extensions/WikiEditor/modules/jquery.wikiEditor.html b/extensions/WikiEditor/modules/jquery.wikiEditor.html
index 7a890af0..349f0273 100644
--- a/extensions/WikiEditor/modules/jquery.wikiEditor.html
+++ b/extensions/WikiEditor/modules/jquery.wikiEditor.html
@@ -6,14 +6,14 @@
 	<!--[if gte IE 8]>
 		<style>
 			/* IE8 ONLY - This is how we are fixing the double-height of BR tags when they are alone in a P tag */
-			p > br  {
+			p > br {
 				display: none;
 			}
-			p > br + br  {
+			p > br + br {
 				display: block;
 			}
 		</style>
-	<![endif]--> 
+	<![endif]-->
 	<style>
 		body {
 			margin: 0;
-- 
cgit v1.2.2