$wgExtensionCredits is no longer sorted with sort() but rather used
as it appears in extensions as was the case before r30117 where it
was unintentionally sorted along with other fields.
+* (bug 19334) Textarea no longer jumps when editing longer articles in IE8
== API changes in 1.16 ==
$wgOut->includeJQuery();
$wgOut->addScriptFile( 'preview.js' );
}
+ // Bug #19334: textarea jumps when editing articles in IE8
+ $wgOut->addStyle( 'common/IE80Fixes.css', 'screen', 'IE 8' );
$permErrors = $this->getEditPermissionErrors();
if ( $permErrors ) {
--- /dev/null
+/**
+ * Fixes textarea scrolling bug (bug #19334)
+ */
+#wpTextbox1 {
+ height: 390px;
+ width: 500px;
+ min-width: 100%;
+ max-width: 100%;
+}
\ No newline at end of file