| Index: trunk/phase3/includes/DjVuImage.php |
| — | — | @@ -250,7 +250,6 @@ |
| 251 | 251 | $txt = wfShellExec( $cmd, $retval ); |
| 252 | 252 | wfProfileOut( 'djvutxt' ); |
| 253 | 253 | if( $retval == 0) { |
| 254 | | - $txt = utf8_encode($txt); |
| 255 | 254 | $txt = htmlspecialchars($txt); |
| 256 | 255 | $txt = preg_replace( "/\((page\s[\d-]*\s[\d-]*\s[\d-]*\s[\d-]*\s*\"([^<]*?)\"\s*|)\)/s", "<PAGE value=\"$2\" />", $txt ); |
| 257 | 256 | $txt = "<DjVuTxt>\n<HEAD></HEAD>\n<BODY>\n" . $txt . "</BODY>\n</DjVuTxt>\n"; |