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

6 files changed, 1 insertions, 5 deletions

diff --git a/skins/modern/audio.png b/skins/modern/audio.png
index c22c05c3..68c8768c 100644
--- a/skins/modern/audio.png
+++ b/skins/modern/audio.png
diff --git a/skins/modern/document.png b/skins/modern/document.png
index b7648b38..ee46a50d 100644
--- a/skins/modern/document.png
+++ b/skins/modern/document.png
diff --git a/skins/modern/footer-grad.png b/skins/modern/footer-grad.png
index 783a4725..72b87247 100644
--- a/skins/modern/footer-grad.png
+++ b/skins/modern/footer-grad.png
diff --git a/skins/modern/main.css b/skins/modern/main.css
index 17481562..7149551f 100644
--- a/skins/modern/main.css
+++ b/skins/modern/main.css
@@ -278,10 +278,6 @@ img {
 	margin: 0 0 0 0;
 }
 
-div.printfooter {
-	display: none;
-}
-
 p {
 	margin: 1em 0 1em 0;
 }
@@ -815,7 +811,7 @@ span.subpages {
 	display: block;
 }
 
-pre {
+pre, .mw-code {
 	border: solid 1px #3c78b5;
 	padding: 0.4em;
 	background-color: #f0f0f0;
diff --git a/skins/modern/news_icon.png b/skins/modern/news_icon.png
index b8f5abb5..4d3cb476 100644
--- a/skins/modern/news_icon.png
+++ b/skins/modern/news_icon.png
diff --git a/skins/modern/video.png b/skins/modern/video.png
index 8e81d681..e535c0c4 100644
--- a/skins/modern/video.png
+++ b/skins/modern/video.png