If for some reason the json can't be decoded it is not cached

Should fix #6898

Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
This commit is contained in:
Roeland Jago Douma 2017-11-08 12:37:35 +01:00
parent 79c9439c50
commit 448fa4f59e
No known key found for this signature in database
GPG Key ID: F941078878347C0C
1 changed files with 4 additions and 0 deletions

View File

@ -119,6 +119,10 @@ class JSCombiner {
$deps = json_decode($deps, true);
if ($deps === NULL) {
return false;
}
foreach ($deps as $file=>$mtime) {
if (!file_exists($file) || filemtime($file) > $mtime) {
return false;