Index: trunk/phase3/includes/EditPage.php |
— | — | @@ -1851,7 +1851,7 @@ |
1852 | 1852 | global $wgOut, $wgUser; |
1853 | 1853 | |
1854 | 1854 | $wikitext = $this->safeUnicodeOutput( $content ); |
1855 | | - if ( $wikitext !== '' ) { |
| 1855 | + if ( strval($wikitext) !== '' ) { |
1856 | 1856 | // Ensure there's a newline at the end, otherwise adding lines |
1857 | 1857 | // is awkward. |
1858 | 1858 | // But don't add a newline if the ext is empty, or Firefox in XHTML |