wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 08:14:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Workaround for a scrolling bug in IE8

Browse source 
Bug: 61908
Change-Id: I69dbfa267b26916628181553b213f05add909c99
This commit is contained in:
Fomafix 2014-02-25 12:41:12 +00:00 committed by [[mw:User:Fomafix]]
parent f5b2b18a01
commit 895f737b87
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/jquery.wikiEditor.js
View file

@ -480,6 +480,13 @@ if ( !context || typeof context === 'undefined' ) {
}
};
/**
* Workaround for a scrolling bug in IE8 (bug 61908)
*/
if ( $.client.profile().name === 'msie' ) {
context.$textarea.css( 'height', context.$textarea.height() );
}
/**
* Base UI Construction
*