add encoding option
authorGabriel Wicke <gwicke@users.mediawiki.org>
Fri, 7 May 2004 09:06:45 +0000 (09:06 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Fri, 7 May 2004 09:06:45 +0000 (09:06 +0000)
includes/Parser.php

index ed67b7a..898faf0 100644 (file)
@@ -405,7 +405,19 @@ class Parser
        /* interface with html tidy, used if $wgUseTidy = true */
        function tidy ( $text ) {
                global $wgTidyConf, $wgTidyBin, $wgTidyOpts;
+               global $wgInputEncoding, $wgOutputEncoding;
                $cleansource = '';
+               switch(strtoupper($wgOutputEncoding)) {
+                       case 'ISO-8859-1':
+                               $wgTidyOpts .= ($wgInputEncoding == $wgOutputEncoding)? ' -latin1':' -raw';
+                               break;
+                       case 'UTF-8':
+                               $wgTidyOpts .= ($wgInputEncoding == $wgOutputEncoding)? ' -utf8':' -raw';
+                               break;
+                       default:
+                               $wgTidyOpts .= ' -raw';
+                       }
+
                $text = '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"'.
 ' "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html>'.
 '<head><title>test</title></head><body>'.$text.'</body></html>';