cvs: livedocs / mkindex.php xml_classes5.php /themes/default html_format.php /themes/php.net html_format.php /themes/smarty html_format.php

derick Fri Sep 3 02:48:44 2004 EDT Modified files: /livedocs mkindex.php xml_classes5.php /livedocs/themes/default html_format.php /livedocs/themes/php.net html_format.php /livedocs/themes/smarty html_format.php Log: - Added UTF8 patch by Moshe. http://cvs.php.net/diff.php/livedocs/mkindex.php?r1=1.36&r2=1.37&ty=u Index: livedocs/mkindex.php diff -u livedocs/mkindex.php:1.36 livedocs/mkindex.php:1.37 --- livedocs/mkindex.php:1.36 Sat Aug 14 17:34:05 2004 +++ livedocs/mkindex.php Fri Sep 3 02:48:44 2004 @@ -19,7 +19,7 @@ // | construct an index | // +----------------------------------------------------------------------+ // -// $Id: mkindex.php,v 1.36 2004/08/14 21:34:05 iliaa Exp $ +// $Id: mkindex.php,v 1.37 2004/09/03 06:48:44 derick Exp $ /* just to be on the safe side */ @@ -170,7 +170,7 @@ echo " Parsing file ID $fileid\n"; } - $parser = xml_parser_create(); + $parser = xml_parser_create("UTF-8"); $p = new DocBookXMLFileParser($filename, $rel, $parser); xml_parser_free($parser); http://cvs.php.net/diff.php/livedocs/xml_classes5.php?r1=1.9&r2=1.10&ty=u Index: livedocs/xml_classes5.php diff -u livedocs/xml_classes5.php:1.9 livedocs/xml_classes5.php:1.10 --- livedocs/xml_classes5.php:1.9 Thu May 27 17:34:36 2004 +++ livedocs/xml_classes5.php Fri Sep 3 02:48:44 2004 @@ -19,7 +19,7 @@ // | PHP 5 style | // +----------------------------------------------------------------------+ // -// $Id: xml_classes5.php,v 1.9 2004/05/27 21:34:36 iliaa Exp $ +// $Id: xml_classes5.php,v 1.10 2004/09/03 06:48:44 derick Exp $ class Node { /* {{{ */ @@ -239,7 +239,7 @@ return; } - $p = xml_parser_create(); + $p = xml_parser_create("UTF-8"); xml_set_object($p, $this); xml_parser_set_option($p, XML_OPTION_CASE_FOLDING, 0); xml_set_element_handler($p, 'start_elem', 'end_elem'); http://cvs.php.net/diff.php/livedocs/themes/default/html_format.php?r1=1.13&r2=1.14&ty=u Index: livedocs/themes/default/html_format.php diff -u livedocs/themes/default/html_format.php:1.13 livedocs/themes/default/html_format.php:1.14 --- livedocs/themes/default/html_format.php:1.13 Thu Sep 2 14:46:46 2004 +++ livedocs/themes/default/html_format.php Fri Sep 3 02:48:44 2004 @@ -18,21 +18,20 @@ // | headers and footers for the HTML rendering | // +----------------------------------------------------------------------+ // -// $Id: html_format.php,v 1.13 2004/09/02 18:46:46 goba Exp $ +// $Id: html_format.php,v 1.14 2004/09/03 06:48:44 derick Exp $ // in livedoc.php function manual_page_header() { global $lang, $title, $css_url; - $charset = CHARSET; $dir = RTL; $head =<<<HEAD -<?xml version="1.0" encoding="$charset"?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html lang="$lang" xmlns="http://www.w3.org/1999/xhtml" xml:lang="$lang"> <head> -<meta http-equiv="Content-Type" content="text/html; charset=$charset"/> +<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> <title>$title</title> <link rel="stylesheet" href="$css_url" type="text/css"/> </head> http://cvs.php.net/diff.php/livedocs/themes/php.net/html_format.php?r1=1.11&r2=1.12&ty=u Index: livedocs/themes/php.net/html_format.php diff -u livedocs/themes/php.net/html_format.php:1.11 livedocs/themes/php.net/html_format.php:1.12 --- livedocs/themes/php.net/html_format.php:1.11 Sun May 23 04:58:01 2004 +++ livedocs/themes/php.net/html_format.php Fri Sep 3 02:48:44 2004 @@ -18,7 +18,7 @@ // | headers and footers for the HTML rendering | // +----------------------------------------------------------------------+ // -// $Id: html_format.php,v 1.11 2004/05/23 08:58:01 wez Exp $ +// $Id: html_format.php,v 1.12 2004/09/03 06:48:44 derick Exp $ // in livedoc.php define( @@ -30,14 +30,13 @@ function manual_page_header() { global $lang, $title, $css_url, $nav; - $charset = CHARSET; $dir = RTL; $head =<<<HEAD <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html lang="$lang"> <head> -<meta http-equiv="Content-Type" content="text/html; charset="$charset"/> +<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> <title>PHP: $title - Manual</title> <link rel="stylesheet" href="/style.css" /> <link rel="stylesheet" href="/styles/mirror.css" /> http://cvs.php.net/diff.php/livedocs/themes/smarty/html_format.php?r1=1.3&r2=1.4&ty=u Index: livedocs/themes/smarty/html_format.php diff -u livedocs/themes/smarty/html_format.php:1.3 livedocs/themes/smarty/html_format.php:1.4 --- livedocs/themes/smarty/html_format.php:1.3 Sun May 23 04:58:01 2004 +++ livedocs/themes/smarty/html_format.php Fri Sep 3 02:48:44 2004 @@ -18,7 +18,7 @@ // | headers and footers for the HTML rendering | // +----------------------------------------------------------------------+ // -// $Id: html_format.php,v 1.3 2004/05/23 08:58:01 wez Exp $ +// $Id: html_format.php,v 1.4 2004/09/03 06:48:44 derick Exp $ // in livedoc.php $WEBSITE = 'http://smarty.php.net'; @@ -26,7 +26,6 @@ function manual_page_header() { global $lang, $title, $css_url, $nav, $WEBSITE; - $charset = CHARSET; $dir = RTL; $date = strftime("%A, %B %d, %Y"); $head =<<<HEAD @@ -34,7 +33,7 @@ "http://www.w3.org/TR/html4/loose.dtd"> <html lang="$lang"> <head> -<meta http-equiv="Content-Type" content="text/html; charset="$charset"/> +<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> <title>Smarty: $title - Manual</title> <link rel="stylesheet" href="$css_url" /> <link rel="stylesheet" href="$WEBSITE/style.css" />