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

diff --cc RELEASE-NOTES-1.20
index b859eb1,3c545ee..5855263
--- 1/RELEASE-NOTES-1.20
--- 2/RELEASE-NOTES-1.20
+++ b/RELEASE-NOTES-1.20
@@@ -150,26 -125,7 +150,25 @@@ upgrade PHP if you have not done so pri
    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.
 +* (bug 38024) ResourceLoader should not create empty stylesheets for modules
 +  that don't have stylesheets.
 +* (bug 36812) Special:ActiveUsers "Hide bots" should hide users from any group
 +  having the "bot" user right, instead of just the default "bot" user group.
 +* (bug 35082) mw.util.addPortletLink incorrectly adds link to mutiple <ul> tags.
 +* (bug 36495) Sanitizer::fixDeprecatedAttributes should convert "align"
 +  attribute to margin or float instead of text-align (for non-table-cells).
 +* (bug 36991) jquery.tablesorter should extract date sort format from date
 +  string instead of global config. Dates like "April 1 2012" and "1 April 2012"
 +  now sort correctly regardless of the content language's DefaultDateFormat.
 +* (bug 31895) mw.loader mode now correct when triggered from a $.fn.ready
 +  handler that is bound before mediawiki.js's handler (e.g. browser-userscripts
 +  like greasemonkey).
 +* (bug 38152) jquery.tablesorter: Use .data() instead of .attr(), so that live
 +  values are used instead of just the fixed values from when the tablesorter
 +  was initialized.
 +* (bug 38093) Gender of changed user groups missing in Special:Log/rights
 +* (bug 35893) Special:Block needs to load mediawiki.special.block.js.
  
  === API changes in 1.20 ===
  * (bug 34316) Add ability to retrieve maximum upload size from MediaWiki API.