From b9f5fc10ae1fd7fab754db023e7d622355894f58 Mon Sep 17 00:00:00 2001
From: Timo Tijhof <ttijhof@wikimedia.org>
Date: Fri, 22 Jun 2012 05:33:49 +0200
Subject: [PATCH] (bug 260) Handle <pre> overflow automatically with a scroll
 bar

And it took only 8 years!

* Ref:
 - bug 260
 - bug 414
 - bug 22060

Change-Id: Ica40812ae221cdc7926dcbe7f82e1cb1591ea1e2
---
 RELEASE-NOTES-1.20              | 1 +
 skins/common/commonElements.css | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/RELEASE-NOTES-1.20 b/RELEASE-NOTES-1.20
index 3c545eea9e..e79dce2e9b 100644
--- a/RELEASE-NOTES-1.20
+++ b/RELEASE-NOTES-1.20
@@ -125,6 +125,7 @@ upgrade PHP if you have not done so prior to upgrading MediaWiki.
   who don't have access to /tmp can specify an alternative.
 * (bug 27283) SqlBagOStuff breaks PostgreSQL transactions.
 * (bug 35727) mw.Api ajax() should put token parameter last.
+* (bug 260) Handle <pre> overflow automatically with a scroll bar.
 * (bug 37708) mw.Uri.clone() should make a deep copy.
 
 === API changes in 1.20 ===
diff --git a/skins/common/commonElements.css b/skins/common/commonElements.css
index 02fd29fe20..903a4f742e 100644
--- a/skins/common/commonElements.css
+++ b/skins/common/commonElements.css
@@ -198,6 +198,12 @@ pre, .mw-code {
 	border: 1px dashed #2f6fab;
 	color: black;
 	background-color: #f9f9f9;
+	/* Handle overflow (bug 260) */
+	overflow: auto;
+	/* IE 7 is the first IE to support overflow but got it wrong */
+	/* IE 8+ is fine */
+	*padding-bottom: 21px;
+	*overflow-y: hidden;
 }
 
 /* Tables */
-- 
2.20.1