cvs: phpweb /include shared-manual.inc
| From: | Gabor Hojtsy | Date: | Fri, 07 Jun 2002 13:02:51 +0000 |
| Subject: | cvs: phpweb /include shared-manual.inc | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-10714@lists.php.net to get a copy of this message | ||
goba Fri Jun 7 09:02:51 2002 EDT
Modified files:
/phpweb/include shared-manual.inc
Log:
Tweaking some more with the printed page header
Index: phpweb/include/shared-manual.inc
diff -u phpweb/include/shared-manual.inc:1.134 phpweb/include/shared-manual.inc:1.135
--- phpweb/include/shared-manual.inc:1.134 Fri Jun 7 07:24:26 2002
+++ phpweb/include/shared-manual.inc Fri Jun 7 09:02:48 2002
@@ -300,7 +300,8 @@
// "Printer optimized" header for manual pages
function manualPrintHeader ($title = '') {
- global $REQUEST_URI;
+ global $REQUEST_URI, $SERVER_NAME;
+ $pageurl = "http://$SERVER_NAME$REQUEST_URI";
?><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<head>
@@ -311,8 +312,8 @@
<tr>
<td><a href="/"><?php print_image('php_logo.gif',
'PHP'); ?></a></td>
<td>
- This is a printer friendly version of the PHP Manual.
- Original address of this page: <?php echo "http://$SERVER_NAME/$REQUEST_URI";
?><br>
+ This is a printer friendly version of the PHP Manual.<br>
+ Original address of this page: <a href="<?php echo $pageurl; ?>"><?php
echo $pageurl; ?></a><br>
<small><?php echo make_link('copyright.php', 'Copyright ©
1997-2002 The PHP Documentation Group'); ?><br />All rights reserved.</small>
</td>
</tr>