cvs: livedocs /themes/default html_format.php
| From: | Gabor Hojtsy | Date: | Thu, 02 Sep 2004 18:46:46 +0000 |
| Subject: | cvs: livedocs /themes/default html_format.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969363737@lists.php.net to get a copy of this message | ||
goba Thu Sep 2 14:46:46 2004 EDT
Modified files:
/livedocs/themes/default html_format.php
Log:
error page footer needs nav - patch by Dave Barr
http://cvs.php.net/diff.php/livedocs/themes/default/html_format.php?r1=1.12&r2=1.13&ty=u
Index: livedocs/themes/default/html_format.php
diff -u livedocs/themes/default/html_format.php:1.12 livedocs/themes/default/html_format.php:1.13
--- livedocs/themes/default/html_format.php:1.12 Sat Aug 14 17:34:05 2004
+++ livedocs/themes/default/html_format.php Thu Sep 2 14:46:46 2004
@@ -18,7 +18,7 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.12 2004/08/14 21:34:05 iliaa Exp $
+// $Id: html_format.php,v 1.13 2004/09/02 18:46:46 goba Exp $
// in livedoc.php
@@ -155,7 +155,7 @@
function error_page_footer()
{
- global $filename, $file_revision, $date;
+ global $filename, $file_revision, $date, $nav;
$foot = <<<FOOT
</p>
<div class='footer'>$filename $file_revision | generated: $date</div>