+# output http headers to allow caching of this page forever
+function http_cache_forever($cache_control = 'public') {
+ header('Last-Modified: '.gmdate('D, d M Y H:i:s', 5025) . ' GMT'); # long time ago
+ header("Cache-Control: $cache_control");
+ header('Expires: ' . gmdate('D, d M Y H:i:s',time()+31536000) . ' GMT'); # rfc 2616 says not to go more than a year in the future
+}
+