| Index: trunk/extensions/ReplaceText/SpecialReplaceText.php |
| — | — | @@ -224,13 +224,14 @@ |
| 225 | 225 | $wgOut->addHTML( '<table><tr><td style="vertical-align: top;">' ); |
| 226 | 226 | $wgOut->addWikiMsg( 'replacetext_originaltext' ); |
| 227 | 227 | $wgOut->addHTML( '</td><td>' ); |
| 228 | | - $wgOut->addHTML( Xml::textarea( 'target', $this->target, 50, 2 ) ); |
| 229 | | - $wgOut->addHTML( Xml::closeElement( 'textarea' ) ); |
| | 228 | + // 'width: auto' style is needed to override MediaWiki's |
| | 229 | + // normal 'width: 100%', which causes the textarea to get |
| | 230 | + // zero width in IE |
| | 231 | + $wgOut->addHTML( Xml::textarea( 'target', $this->target, 50, 2, array( 'style' => 'width: auto;' ) ) ); |
| 230 | 232 | $wgOut->addHTML( '</td></tr><tr><td style="vertical-align: top;">' ); |
| 231 | 233 | $wgOut->addWikiMsg( 'replacetext_replacementtext' ); |
| 232 | 234 | $wgOut->addHTML( '</td><td>' ); |
| 233 | | - $wgOut->addHTML( Xml::textarea( 'replacement', $this->replacement, 50, 2 ) ); |
| 234 | | - $wgOut->addHTML( Xml::closeElement( 'textarea' ) ); |
| | 235 | + $wgOut->addHTML( Xml::textarea( 'replacement', $this->replacement, 50, 2, array( 'style' => 'width: auto;' ) ) ); |
| 235 | 236 | $wgOut->addHTML( '</td></tr></table>' ); |
| 236 | 237 | |
| 237 | 238 | $search_label = wfMsg('powersearch-ns'); |