didou Sun Mar 21 10:08:11 2004 EDT
Modified files:
/livedocs/themes/default html_format.php
/livedocs/themes/php.net html_format.php
Log:
two functions was needed nuno ;)
http://cvs.php.net/diff.php/livedocs/themes/default/html_format.php?r1=1.6&r2=1.7&ty=u
Index: livedocs/themes/default/html_format.php
diff -u livedocs/themes/default/html_format.php:1.6
livedocs/themes/default/html_format.php:1.7
--- livedocs/themes/default/html_format.php:1.6 Sun Mar 21 05:54:56 2004
+++ livedocs/themes/default/html_format.php Sun Mar 21 10:06:55 2004
@@ -18,7 +18,7 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.6 2004/03/21 10:54:56 nlopess Exp $
+// $Id: html_format.php,v 1.7 2004/03/21 15:06:55 didou Exp $
// in livedoc.php
@@ -92,6 +92,36 @@
}
+
+function index_page_header()
+{
+ global $css_url;
+ $head =<<<HEAD
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
+ "http://www.w3.org/TR/html4/loose.dtd";>
+<html>
+<head>
+<title>Livedocs Index</title>
+<link rel="stylesheet" href="$css_url" >
+</head>
+<body>
+<h1>PHP Manual</h1>
+
+HEAD;
+
+ return $head;
+}
+
+function index_page_footer()
+{
+ $foot =<<<FOOT
+</body>
+</html>
+FOOT;
+
+ return $foot;
+}
+
// in error.php
function error_page_header()
http://cvs.php.net/diff.php/livedocs/themes/php.net/html_format.php?r1=1.8&r2=1.9&ty=u
Index: livedocs/themes/php.net/html_format.php
diff -u livedocs/themes/php.net/html_format.php:1.8
livedocs/themes/php.net/html_format.php:1.9
--- livedocs/themes/php.net/html_format.php:1.8 Sun Mar 21 05:56:11 2004
+++ livedocs/themes/php.net/html_format.php Sun Mar 21 10:08:11 2004
@@ -18,7 +18,7 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.8 2004/03/21 10:56:11 nlopess Exp $
+// $Id: html_format.php,v 1.9 2004/03/21 15:08:11 didou Exp $
// in livedoc.php
define(
@@ -140,6 +140,35 @@
}
+function index_page_header()
+{
+ global $css_url;
+ $head =<<<HEAD
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
+ "http://www.w3.org/TR/html4/loose.dtd";>
+<html>
+<head>
+<title>Livedocs Index</title>
+<link rel="stylesheet" href="$css_url" >
+</head>
+<body>
+<h1>PHP Manual</h1>
+
+HEAD;
+
+ return $head;
+}
+
+function index_page_footer()
+{
+ $foot =<<<FOOT
+</body>
+</html>
+FOOT;
+
+ return $foot;
+}
+
// in error.php
function error_page_header()
