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 committed by Morris Jobke
parent c91515cfed
commit 9cbb39511f
No known key found for this signature in database
GPG Key ID: FE03C3A163FEDE68
1 changed files with 4 additions and 0 deletions

View File

@ -104,6 +104,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;