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" />
