From da51ea6b44449bbe1eb0705318a20602ee9fd5aa Mon Sep 17 00:00:00 2001 From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= Date: Sat, 3 May 2008 12:27:53 +0000 Subject: [PATCH] * Xml:: --- includes/EditPage.php | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/includes/EditPage.php b/includes/EditPage.php index 8103abfa94..412b0bd941 100644 --- a/includes/EditPage.php +++ b/includes/EditPage.php @@ -1636,7 +1636,9 @@ END $attribs = array( 'id' => 'wpTextbox1', 'name' => 'wpTextbox1', 'cols' => $cols, 'rows' => $rows, 'readonly' => 'readonly' ); $wgOut->addHtml( '
' ); $wgOut->addWikiMsg( $first ? 'blockedoriginalsource' : 'blockededitsource', $this->mTitle->getPrefixedText() ); - $wgOut->addHtml( wfOpenElement( 'textarea', $attribs ) . htmlspecialchars( $source ) . wfCloseElement( 'textarea' ) ); + # Why we don't use Xml::element here? + # Is it because if $source is '', it returns