cvs: phpweb /include shared-manual.inc

From: 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>

« previous php.mirrors (#11703) next »