cvs: phpweb /include shared-manual.inc
| From: | Hannes Magnusson | Date: | Sun, 25 Nov 2007 18:47:19 +0000 |
| Subject: | cvs: phpweb /include shared-manual.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-577@lists.php.net to get a copy of this message | ||
bjori Sun Nov 25 18:47:19 2007 UTC
Modified files:
/phpweb/include shared-manual.inc
Log:
Nuke warning
# Happens when docs lie about their BASE_PAGE
http://cvs.php.net/viewvc.cgi/phpweb/include/shared-manual.inc?r1=1.236&r2=1.237&diff_format=u
Index: phpweb/include/shared-manual.inc
diff -u phpweb/include/shared-manual.inc:1.236 phpweb/include/shared-manual.inc:1.237
--- phpweb/include/shared-manual.inc:1.236 Sat Aug 25 11:07:58 2007
+++ phpweb/include/shared-manual.inc Sun Nov 25 18:47:19 2007
@@ -1,6 +1,6 @@
<?php // -*- C++ -*-
-// $Id: shared-manual.inc,v 1.236 2007/08/25 11:07:58 bjori Exp $
+// $Id: shared-manual.inc,v 1.237 2007/11/25 18:47:19 bjori Exp $
/*
@@ -31,7 +31,11 @@
$_SERVER['BASE_PAGE'] = 'manual/' .
language_convert($PGI['head'][1]) . "/" . $PGI['this'][0];
// Set last modification time on the current manual page
- $PGI['lastmod'] = gmdate("D, d M Y",
filemtime($_SERVER['DOCUMENT_ROOT'] ."/". $_SERVER['BASE_PAGE']));
+ if (($time = @filemtime($_SERVER['DOCUMENT_ROOT'] ."/".
$_SERVER['BASE_PAGE'])) != false) {
+ $PGI['lastmod'] = gmdate("D, d M Y", $time);
+ } else {
+ $PGI['lastmod'] = "Unkown";
+ }
}
// Print out HTTP headers and the HTML header