From: Timo Tijhof <ttijhof@wikimedia.org>
Date: Fri, 22 Jun 2012 03:33:49 +0000 (+0200)
Subject: (bug 260) Handle <pre> overflow automatically with a scroll bar
X-Git-Tag: 1.31.0-rc.0~23264^2
X-Git-Url: http://git.cyclocoop.org/%7B%24admin_url%7Dmembres/cotisations/gestion/rappel_supprimer.php?a=commitdiff_plain;h=17d23282dd6d8b1bf6b1b80f97cf02265cbec59d;p=lhc%2Fweb%2Fwiklou.git

(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: I2e0494603af9e3a8351a8c61e9b814f0093e422b
---

diff --git a/RELEASE-NOTES-1.20 b/RELEASE-NOTES-1.20
index addf48425c..269e6317b3 100644
--- a/RELEASE-NOTES-1.20
+++ b/RELEASE-NOTES-1.20
@@ -116,12 +116,13 @@ upgrade PHP if you have not done so prior to upgrading MediaWiki.
 * (bug 32604) Some messages needs escaping of wikitext inside username
 * (bug 36537) Rename wfArrayToCGI to wfArrayToCgi for consistency with wfCgiToArray.
 * (bug 25946) The message on the top of Special:RecentChanges is now displayed
-  in user language instead of content language
+  in user language instead of content language.
 * (bug 35264) Wrong type used for <ns> in export.xsd
 * (bug 24985) Use $wgTmpDirectory as the default temp directory so that people
   who don't have access to /tmp can specify an alternative.
-* (bug 27283) SqlBagOStuff breaks PostgreSQL transactions
+* (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.
 
 === API changes in 1.20 ===
 * (bug 34316) Add ability to retrieve maximum upload size from MediaWiki API.
@@ -129,10 +130,10 @@ upgrade PHP if you have not done so prior to upgrading MediaWiki.
   the format parameter.
 * (bug 32384) Allow descending order for list=watchlistraw.
 * (bug 31883) Limit of bkusers of list=blocks and titles of action=query is not documented in API help.
-* (bug 32492) API now allows editing using pageid
-* (bug 32497) API now allows changing of protection level using pageid
-* (bug 32498) API now allows comparing pages using pageids
-* (bug 30975) API import of pages with invalid characters in this wiki leads to Fatal Error
+* (bug 32492) API now allows editing using pageid.
+* (bug 32497) API now allows changing of protection level using pageid.
+* (bug 32498) API now allows comparing pages using pageids.
+* (bug 30975) API import of pages with invalid characters in this wiki leads to Fatal Error.
 * (bug 30488) API now allows listing of backlinks/embeddedin/imageusage per pageid
 * (bug 34927) Output media_type for list=filearchive
 * (bug 28814) add properties to output of action=parse
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 */