Merge "(bug 260) Handle <pre> overflow automatically with a scroll bar"

diff --combined RELEASE-NOTES-1.20
index 21d63d9,269e631..ecae5de
--- 1/RELEASE-NOTES-1.20
--- 2/RELEASE-NOTES-1.20
+++ b/RELEASE-NOTES-1.20
@@@ -71,7 -71,6 +71,7 @@@ upgrade PHP if you have not done so pri
  * cleanupSpam.php now can delete spam pages if --delete was specified instead of blanking
    them.
  * Added new hook ChangePasswordForm to allow adding of additional fields in Special:ChangePassword
 +* Added new function getDomain to AuthPlugin for getting a user's domain
  
  === Bug fixes in 1.20 ===
  * (bug 30245) Use the correct way to construct a log page title.
@@@ -117,12 -116,13 +117,13 @@@
  * (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.
@@@ -130,10 -130,10 +131,10 @@@
    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