The branch, master has been updated via bd0c89b630be5a3bff087cae788afeac228daa00 (commit) from b452564b8320789a580e86ab272327f048654bfc (commit)
- Log ----------------------------------------------------------------- commit bd0c89b630be5a3bff087cae788afeac228daa00 Author: Marc Delisle marc@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