nlopess Sun Mar 21 05:56:11 2004 EDT
Modified files:
/livedocs/themes/default html_format.php
/livedocs/themes/php.net html_format.php
Log:
these function are not need anymore
I hope so.... :)
http://cvs.php.net/diff.php/livedocs/themes/default/html_format.php?r1=1.5&r2=1.6&ty=u
Index: livedocs/themes/default/html_format.php
diff -u livedocs/themes/default/html_format.php:1.5
livedocs/themes/default/html_format.php:1.6
--- livedocs/themes/default/html_format.php:1.5 Wed Feb 18 13:40:34 2004
+++ livedocs/themes/default/html_format.php Sun Mar 21 05:54:56 2004
@@ -18,7 +18,7 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.5 2004/02/18 18:40:34 didou Exp $
+// $Id: html_format.php,v 1.6 2004/03/21 10:54:56 nlopess Exp $
// in livedoc.php
@@ -92,70 +92,6 @@
}
-
-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 livedoc-index.php
-
-function functions_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>Index</h1>
-
-<div class='index'>
-HEAD;
-
- return $head;
-}
-
-function functions_page_footer()
-{
- global $date;
- $foot =<<<FOOT
-<br />generated: $date<br />
-</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.7&r2=1.8&ty=u
Index: livedocs/themes/php.net/html_format.php
diff -u livedocs/themes/php.net/html_format.php:1.7
livedocs/themes/php.net/html_format.php:1.8
--- livedocs/themes/php.net/html_format.php:1.7 Sat Feb 21 19:59:49 2004
+++ livedocs/themes/php.net/html_format.php Sun Mar 21 05:56:11 2004
@@ -18,7 +18,7 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.7 2004/02/22 00:59:49 kennyt Exp $
+// $Id: html_format.php,v 1.8 2004/03/21 10:56:11 nlopess Exp $
// in livedoc.php
define(
@@ -140,69 +140,6 @@
}
-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 livedoc-index.php
-
-function functions_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>Index</h1>
-
-<div class='index'>
-HEAD;
-
- return $head;
-}
-
-function functions_page_footer()
-{
- global $date;
- $foot =<<<FOOT
-<br />generated: $date<br />
-</body>
-</html>
-FOOT;
- return $foot;
-
-}
-
// in error.php
function error_page_header()
