cvs: phpweb /include shared-manual.inc
| From: | Gabor Hojtsy | Date: | Fri, 07 Jun 2002 11:24:26 +0000 |
| Subject: | cvs: phpweb /include shared-manual.inc | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-10713@lists.php.net to get a copy of this message | ||
goba Fri Jun 7 07:24:26 2002 EDT
Modified files:
/phpweb/include shared-manual.inc
Log:
Adding title to printed pages, adding some notes, changed URL to show
server, and modify copyright (manual contents are copyright the PHP
Documentation Group).
Index: phpweb/include/shared-manual.inc
diff -u phpweb/include/shared-manual.inc:1.133 phpweb/include/shared-manual.inc:1.134
--- phpweb/include/shared-manual.inc:1.133 Fri Jun 7 05:43:10 2002
+++ phpweb/include/shared-manual.inc Fri Jun 7 07:24:26 2002
@@ -277,7 +277,7 @@
function manualHeader($title,$id="") {
global $PRINT_PAGE;
if ($PRINT_PAGE) {
- manualPrintHeader();
+ manualPrintHeader($title);
} else {
makeBorderTOC($title);
commonHeader ($title. " - Manual");
@@ -311,8 +311,9 @@
<tr>
<td><a href="/"><?php print_image('php_logo.gif',
'PHP'); ?></a></td>
<td>
- Address of this page: <?php echo $REQUEST_URI; ?><br>
- <small><?php echo make_link('/copyright.php', 'Copyright © 2001,
2002 The PHP Group'); ?><br />All rights reserved.</small>
+ This is a printer friendly version of the PHP Manual.
+ Original address of this page: <?php echo "http://$SERVER_NAME/$REQUEST_URI";
?><br>
+ <small><?php echo make_link('copyright.php', 'Copyright ©
1997-2002 The PHP Documentation Group'); ?><br />All rights reserved.</small>
</td>
</tr>
</table><hr size="1" noshade>