[Sommaire] [Imprimer]

   1  <?php
   2  // $Id: headers.php 20295 2006-02-15 12:31:25Z  $
   3  
   4  // Generate headers saying not to assume this page won't change.
   5  // The page's last-edited time stamp is currently not used.  This caused
   6  //   problems with certain browser settings; especially with pages containing
   7  //   category lists, like RecentChanges.  Although the page itself didn't
   8  //   change, the category list did.
   9  function gen_headers($timestamp)
  10  {
  11  //  $time = mktime(substr($timestamp, 8, 2),  substr($timestamp, 10, 2),
  12  //                 substr($timestamp, 12, 2), substr($timestamp, 4, 2),
  13  //                 substr($timestamp, 6, 2),  substr($timestamp, 0, 4));
  14  //  $mod = gmdate("D, d M Y H:i:s", $time);
  15      $now = gmdate("D, d M Y H:i:s");
  16  
  17      #header("Expires: $now GMT");
  18      #header("Last-Modified: $now GMT");
  19  //  header("Cache-Control: no-cache, must-revalidate");
  20  //  header("Pragma: no-cache");
  21  }
  22  ?>