cvs: phpweb /include shared-manual.inc
| From: | Gabor Hojtsy | Date: | Sat, 03 Aug 2002 13:09:09 +0000 |
| Subject: | cvs: phpweb /include shared-manual.inc | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-11703@lists.php.net to get a copy of this message | ||
goba Sat Aug 3 09:09:09 2002 EDT
Modified files:
/phpweb/include shared-manual.inc
Log:
Adding first stage support for print with notes [printwn] pages,
still with the same notes table format as on normal pages. This
wont be ok for print pages, but before I go to tweak them, I need
to check it it at least works this way...
Index: phpweb/include/shared-manual.inc
diff -u phpweb/include/shared-manual.inc:1.136 phpweb/include/shared-manual.inc:1.137
--- phpweb/include/shared-manual.inc:1.136 Tue Jul 2 07:11:06 2002
+++ phpweb/include/shared-manual.inc Sat Aug 3 09:09:09 2002
@@ -208,7 +208,7 @@
}
// Print out all user notes for this manual page
-function manualUserNotes($title, $id) {
+function manualUserNotes($title, $id, $print) {
global $PHP_SELF, $SERVER_NAME, $SERVER_PORT;
$cur = substr(dirname($PHP_SELF),-2);
if($cur=='al') $cur='en';
@@ -276,32 +276,35 @@
// Print out manual page header
function manualHeader($title,$id="") {
- global $PRINT_PAGE;
+ global $PRINT_PAGE;
if ($PRINT_PAGE) {
manualPrintHeader($title);
} else {
- makeBorderTOC($title);
- commonHeader ($title. " - Manual");
- navigationBar($title, $id, "top");
- echo "<!--/UdmComment-->";
+ makeBorderTOC($title);
+ commonHeader ($title. " - Manual");
+ navigationBar($title, $id, "top");
+ echo "<!--/UdmComment-->";
}
}
// Print out manual footer
function manualFooter($title,$id="") {
- global $PRINT_PAGE;
+ global $PRINT_PAGE, $PRINT_NOTES;
if ($PRINT_PAGE) {
- manualPrintFooter();
+ if ($PRINT_NOTES) {
+ manualUserNotes($title, $id, TRUE);
+ }
+ manualPrintFooter();
} else {
- manualUserNotes($title,$id);
- navigationBar($title, $id, "bottom");
- commonFooter();
+ manualUserNotes($title,$id);
+ navigationBar($title, $id, "bottom");
+ commonFooter();
}
}
// "Printer optimized" header for manual pages
function manualPrintHeader ($title = '') {
- global $REQUEST_URI, $SERVER_NAME;
+ global $REQUEST_URI, $SERVER_NAME;
$pageurl = "http://$SERVER_NAME$REQUEST_URI";
?><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>