From bd0c89b630be5a3bff087cae788afeac228daa00 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Mon, 29 Mar 2010 17:46:55 -0400
Subject: [PATCH] explain the timestamp we generate at load time for each .js
 file

---
 libraries/header_scripts.inc.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/libraries/header_scripts.inc.php b/libraries/header_scripts.inc.php
index d924bbdeb..a1611ac0d 100644
--- a/libraries/header_scripts.inc.php
+++ b/libraries/header_scripts.inc.php
@@ -112,6 +112,11 @@ $GLOBALS['js_events'][] = array(
     'function'  => 'PMA_TT_init',
 );
 
+/**
+ * Here we add a timestamp when loading the file, so that users who
+ * upgrade phpMyAdmin are not stuck with older .js files in their
+ * browser cache. This produces an HTTP 304 request for each file.
+ */
 foreach ($GLOBALS['js_include'] as $js_script_file) {
     echo '<script src="./js/' . $js_script_file . '?ts=' . filemtime('./js/' . $js_script_file) . '" type="text/javascript"></script>' . "\n";
 }