com web/php: This should be fully cached too: include/header.inc
| From: | Hannes Magnusson | Date: | Wed, 04 Dec 2013 07:34:39 +0000 |
| Subject: | com web/php: This should be fully cached too: include/header.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-17337@lists.php.net to get a copy of this message | ||
Commit: f97c8114125b77806eb6e6797704761dcd4ea8cf
Author: Hannes Magnusson <bjori@mongodb.com> Tue, 3 Dec 2013 23:31:08 -0800
Parents: d660a766d0b8232f34da93b4893db92e5653ec61
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=f97c8114125b77806eb6e6797704761dcd4ea8cf
Log:
This should be fully cached too
Changed paths:
M include/header.inc
Diff:
diff --git a/include/header.inc b/include/header.inc
index 699b8a7..3ca0cbb 100755
--- a/include/header.inc
+++ b/include/header.inc
@@ -73,7 +73,7 @@ if (isset($shortname) && $shortname) {
$jsfiles = array('ext/modernizr.js');
foreach ($jsfiles as $filename) {
$path = dirname(dirname(__FILE__)).'/js/'.$filename;
- echo '<script type="text/javascript"
src="/js/'.$filename.'?t='.@filemtime($path).'"></script>';
+ echo '<script type="text/javascript"
src="cached.php?f=/js/'.$filename.'&t='.@filemtime($path).'"></script>';
}
?>
</head>