cvs: phpweb /include prepend.inc shared-manual.inc

goba Fri Jan 3 08:57:11 2003 EDT Modified files: /phpweb/include prepend.inc shared-manual.inc Log: Adding info on cache HTTP headers URL to common prepend file. Modifying manual headers to have a last modified date and have no cache header. See if it works well... See bug #18897 Index: phpweb/include/prepend.inc diff -u phpweb/include/prepend.inc:1.14 phpweb/include/prepend.inc:1.15 --- phpweb/include/prepend.inc:1.14 Sat Dec 21 08:39:30 2002 +++ phpweb/include/prepend.inc Fri Jan 3 08:57:10 2003 @@ -1,5 +1,8 @@ <?php // -*- C++ -*- +// See http://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.9 +// for cache control header descriptions (used in many places on the site). + // Prevent cross site scripting problems unset($RSIDEBAR_DATA); unset($SIDEBAR_DATA); Index: phpweb/include/shared-manual.inc diff -u phpweb/include/shared-manual.inc:1.157 phpweb/include/shared-manual.inc:1.158 --- phpweb/include/shared-manual.inc:1.157 Sat Dec 14 09:24:42 2002 +++ phpweb/include/shared-manual.inc Fri Jan 3 08:57:11 2003 @@ -252,12 +252,13 @@ // Send manual HTTP headers, provide accurate language data function sendManualHeaders($charset,$lang) { - global $LANG; + global $LANG, $LAST_UPDATED; $LANG = $lang; - Header("Cache-Control: public, max-age=600"); - Header("Vary: Cookie"); - Header("Content-type: text/html;charset=$charset"); - Header("Content-language: $lang"); + header("Last-Modified: " . gmdate("D, d M Y H:i:s ", $LAST_UPDATED) . "GMT"); + //header("Cache-Control: public, max-age=600"); + header("Vary: Cookie"); + header("Content-type: text/html;charset=$charset"); + header("Content-language: $lang"); } // Print out manual page header