derick Mon Feb 16 15:11:49 2004 EDT
Modified files:
/livedocs/themes/default html_format.php
/livedocs/themes/php.net html_format.php
Log:
- Removed ugly spaces indentation
http://cvs.php.net/diff.php/livedocs/themes/default/html_format.php?r1=1.2&r2=1.3&ty=u
Index: livedocs/themes/default/html_format.php
diff -u livedocs/themes/default/html_format.php:1.2
livedocs/themes/default/html_format.php:1.3
--- livedocs/themes/default/html_format.php:1.2 Sat Jan 24 15:19:20 2004
+++ livedocs/themes/default/html_format.php Mon Feb 16 15:11:48 2004
@@ -1,5 +1,5 @@
<?php
-/* vim: set expandtab tabstop=4 shiftwidth=4: */
+/* vim: set tabstop=4 shiftwidth=4: */
// +----------------------------------------------------------------------+
// | PHP version 4 |
// +----------------------------------------------------------------------+
@@ -18,16 +18,16 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.2 2004/01/24 20:19:20 nlopess Exp $
+// $Id: html_format.php,v 1.3 2004/02/16 20:11:48 derick Exp $
// in livedoc.php
function manual_page_header()
{
- global $lang, $title, $css_url;
- $head =<<<HEAD
+ global $lang, $title, $css_url;
+ $head =<<<HEAD
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
- "http://www.w3.org/TR/html4/loose.dtd";>
+ "http://www.w3.org/TR/html4/loose.dtd";>
<html lang="$lang">
<head>
<title>$title</title>
@@ -38,13 +38,13 @@
<tr><td height="1"></td><td rowspan="2" valign="top">
HEAD;
- return $head;
+ return $head;
}
function manual_page_footer()
{
- global $filename, $file_revision, $date, $nav;
- $foot =<<<FOOT
+ global $filename, $file_revision, $date, $nav;
+ $foot =<<<FOOT
<br />
<div class='footer'>$filename $file_revision | generated: $date</div>
</td></tr>
@@ -55,7 +55,7 @@
</html>
FOOT;
- return $foot;
+ return $foot;
}
@@ -63,32 +63,32 @@
function search_page_header()
{
- global $css_url, $tx_qry, $strict;
- $head =<<<HEAD
+ global $css_url, $tx_qry, $strict;
+ $head =<<<HEAD
<html>
<head>
- <link rel="stylesheet" href="$css_url">
+ <link rel="stylesheet" href="$css_url">
</head>
<body>
<div align="center">
<form action="search.php" method="get">
- <input type="text" width="30" name="q" value="$tx_qry">
- Strict: <input type="checkbox" value="1" name="s" echo $strict>
- <input type="submit" name="search" value="Search">
+ <input type="text" width="30" name="q" value="$tx_qry">
+ Strict: <input type="checkbox" value="1" name="s" echo $strict>
+ <input type="submit" name="search" value="Search">
</form>
</div>
HEAD;
- return $head;
+ return $head;
}
function search_page_footer()
{
- $foot =<<<FOOT
+ $foot =<<<FOOT
</body>
</html>
FOOT;
- return $foot;
+ return $foot;
}
@@ -96,10 +96,10 @@
function index_page_header()
{
- global $css_url;
- $head =<<<HEAD
+ global $css_url;
+ $head =<<<HEAD
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
- "http://www.w3.org/TR/html4/loose.dtd";>
+ "http://www.w3.org/TR/html4/loose.dtd";>
<html>
<head>
<title>Livedocs Index</title>
@@ -111,18 +111,18 @@
<div class='index'>
HEAD;
- return $head;
+ return $head;
}
function index_page_footer()
{
- global $date;
- $foot =<<<FOOT
+ global $date;
+ $foot =<<<FOOT
<br />generated: $date<br />
</body>
</html>
FOOT;
- return $foot;
+ return $foot;
}
@@ -130,8 +130,8 @@
function error_page_header()
{
- global $lang, $css_url, $title, $rs_size;
- $head =<<<HEAD
+ global $lang, $css_url, $title, $rs_size;
+ $head =<<<HEAD
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd";>
<html lang="$lang">
@@ -151,13 +151,13 @@
</p>
<p class="simpara">
HEAD;
- return $head;
+ return $head;
}
function error_page_footer()
{
- global $filename, $file_revision, $date;
- $foot = <<<FOOT
+ global $filename, $file_revision, $date;
+ $foot = <<<FOOT
</p>
<div class='footer'>$filename $file_revision | generated: $date</div>
</td></tr>
@@ -167,5 +167,5 @@
</body>
</html>
FOOT;
- return $foot;
+ return $foot;
}
http://cvs.php.net/diff.php/livedocs/themes/php.net/html_format.php?r1=1.2&r2=1.3&ty=u
Index: livedocs/themes/php.net/html_format.php
diff -u livedocs/themes/php.net/html_format.php:1.2
livedocs/themes/php.net/html_format.php:1.3
--- livedocs/themes/php.net/html_format.php:1.2 Sat Jan 24 15:19:21 2004
+++ livedocs/themes/php.net/html_format.php Mon Feb 16 15:11:49 2004
@@ -1,5 +1,5 @@
<?php
-/* vim: set expandtab tabstop=4 shiftwidth=4: */
+/* vim: set tabstop=4 shiftwidth=4: */
// +----------------------------------------------------------------------+
// | PHP version 4 |
// +----------------------------------------------------------------------+
@@ -18,16 +18,16 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.2 2004/01/24 20:19:21 nlopess Exp $
+// $Id: html_format.php,v 1.3 2004/02/16 20:11:49 derick Exp $
// in livedoc.php
function manual_page_header()
{
- global $lang, $title, $css_url;
- $head =<<<HEAD
+ global $lang, $title, $css_url;
+ $head =<<<HEAD
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
- "http://www.w3.org/TR/html4/loose.dtd";>
+ "http://www.w3.org/TR/html4/loose.dtd";>
<html lang="$lang">
<head>
<title>$title</title>
@@ -38,13 +38,13 @@
<tr><td height="1"></td><td rowspan="2" valign="top">
HEAD;
- return $head;
+ return $head;
}
function manual_page_footer()
{
- global $filename, $file_revision, $date, $nav;
- $foot =<<<FOOT
+ global $filename, $file_revision, $date, $nav;
+ $foot =<<<FOOT
<br />
<div class='footer'>$filename $file_revision | generated: $date</div>
</td></tr>
@@ -55,7 +55,7 @@
</html>
FOOT;
- return $foot;
+ return $foot;
}
@@ -63,32 +63,32 @@
function search_page_header()
{
- global $css_url, $tx_qry, $strict;
- $head =<<<HEAD
+ global $css_url, $tx_qry, $strict;
+ $head =<<<HEAD
<html>
<head>
- <link rel="stylesheet" href="$css_url">
+ <link rel="stylesheet" href="$css_url">
</head>
<body>
<div align="center">
<form action="search.php" method="get">
- <input type="text" width="30" name="q" value="$tx_qry">
- Strict: <input type="checkbox" value="1" name="s" echo $strict>
- <input type="submit" name="search" value="Search">
+ <input type="text" width="30" name="q" value="$tx_qry">
+ Strict: <input type="checkbox" value="1" name="s" echo $strict>
+ <input type="submit" name="search" value="Search">
</form>
</div>
HEAD;
- return $head;
+ return $head;
}
function search_page_footer()
{
- $foot =<<<FOOT
+ $foot =<<<FOOT
</body>
</html>
FOOT;
- return $foot;
+ return $foot;
}
@@ -96,10 +96,10 @@
function index_page_header()
{
- global $css_url;
- $head =<<<HEAD
+ global $css_url;
+ $head =<<<HEAD
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
- "http://www.w3.org/TR/html4/loose.dtd";>
+ "http://www.w3.org/TR/html4/loose.dtd";>
<html>
<head>
<title>Livedocs Index</title>
@@ -111,18 +111,18 @@
<div class='index'>
HEAD;
- return $head;
+ return $head;
}
function index_page_footer()
{
- global $date;
- $foot =<<<FOOT
+ global $date;
+ $foot =<<<FOOT
<br />generated: $date<br />
</body>
</html>
FOOT;
- return $foot;
+ return $foot;
}
@@ -130,8 +130,8 @@
function error_page_header()
{
- global $lang, $css_url, $title, $rs_size;
- $head =<<<HEAD
+ global $lang, $css_url, $title, $rs_size;
+ $head =<<<HEAD
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd";>
<html lang="$lang">
@@ -151,13 +151,13 @@
</p>
<p class="simpara">
HEAD;
- return $head;
+ return $head;
}
function error_page_footer()
{
- global $filename, $file_revision, $date;
- $foot = <<<FOOT
+ global $filename, $file_revision, $date;
+ $foot = <<<FOOT
</p>
<div class='footer'>$filename $file_revision | generated: $date</div>
</td></tr>
@@ -167,5 +167,5 @@
</body>
</html>
FOOT;
- return $foot;
+ return $foot;
}
