The branch, master has been updated
via bd0c89b630be5a3bff087cae788afeac228daa00 (commit)
from b452564b8320789a580e86ab272327f048654bfc (commit)
- Log -----------------------------------------------------------------
commit bd0c89b630be5a3bff087cae788afeac228daa00
Author: Marc Delisle <marc(a)infomarc.info>
Date: Mon Mar 29 17:46:55 2010 -0400
explain the timestamp we generate at load time for each .js file
-----------------------------------------------------------------------
Summary of changes:
libraries/header_scripts.inc.php | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/libraries/header_scripts.inc.php b/libraries/header_scripts.inc.php
index d924bbd..a1611ac 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";
}
hooks/post-receive
--
phpMyAdmin
Show replies by date