kennyt Sat Feb 21 19:59:49 2004 EDT
Modified files:
/livedocs/themes/php.net html_format.php
Log:
php.net theme no longer dies when unable to call phpweb mirror code.
# Make didou stop complaining.
http://cvs.php.net/diff.php/livedocs/themes/php.net/html_format.php?r1=1.6&r2=1.7&ty=u
Index: livedocs/themes/php.net/html_format.php
diff -u livedocs/themes/php.net/html_format.php:1.6
livedocs/themes/php.net/html_format.php:1.7
--- livedocs/themes/php.net/html_format.php:1.6 Wed Feb 18 13:40:35 2004
+++ livedocs/themes/php.net/html_format.php Sat Feb 21 19:59:49 2004
@@ -18,10 +18,15 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.6 2004/02/18 18:40:35 didou Exp $
+// $Id: html_format.php,v 1.7 2004/02/22 00:59:49 kennyt Exp $
// in livedoc.php
-include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
+define(
+ 'PHPNET',
+ (bool)
+ @include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc'
+);
+
function manual_page_header()
{
global $lang, $title, $css_url, $nav;
@@ -85,9 +90,12 @@
{
global $filename, $file_revision, $date, $title, $current_page;
- manual_setup(array('this' => array($current_page . '.php', $title)));
+ /* only draw notes on /repos/phpweb enabled sites */
+ if (PHPNET) {
+ manual_setup(array('this' => array($current_page . '.php', $title)));
- @manual_notes(); // broken in phpweb...
+ @manual_notes(); // broken in phpweb...
+ }
$foot =<<<FOOT
<br />
<div class='footer'>$filename $file_revision | generated: $date</div>
