Update to MediaWiki 1.20.2

this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024

1 files changed, 7 insertions, 2 deletions

diff --git a/extensions/WikiEditor/modules/jquery.wikiEditor.preview.css b/extensions/WikiEditor/modules/jquery.wikiEditor.preview.css
index 7eb455b5..6b026a1e 100644
--- a/extensions/WikiEditor/modules/jquery.wikiEditor.preview.css
+++ b/extensions/WikiEditor/modules/jquery.wikiEditor.preview.css
@@ -1,4 +1,4 @@
-/*
+/**
  * CSS for WikiEditor Preview jQuery plugin
  */
 
@@ -6,21 +6,26 @@
 	padding: 1em;
 	background-color: white;
 }
+
 .wikiEditor-preview-loading span {
 	color: #666666;
 }
+
 .wikiEditor-preview-spinner {
 	padding-right: 1em;
 }
+
 .wikiEditor-preview-contents {
 	padding: 1em;
 	background-color: white;
 }
+
 /* FIXME: This only works for the first wikiEditor on the page! */
 #wikiEditor-0-preview-dialog .wikiEditor-ui-loading {
 	overflow: hidden;
 	border: none;
 }
+
 .ui-dialog .ui-dialog-buttonpane {
 	margin: 0 !important;
-}
\ No newline at end of file
+}