nextcloud /
server
| @@ 130-134 (lines=5) @@ | ||
| 127 | } |
|
| 128 | $deps = json_decode($deps, true); |
|
| 129 | ||
| 130 | foreach ($deps as $file=>$mtime) { |
|
| 131 | if (!file_exists($file) || filemtime($file) > $mtime) { |
|
| 132 | return false; |
|
| 133 | } |
|
| 134 | } |
|
| 135 | } |
|
| 136 | return true; |
|
| 137 | } catch(NotFoundException $e) { |
|
| @@ 108-112 (lines=5) @@ | ||
| 105 | } |
|
| 106 | $deps = json_decode($deps, true); |
|
| 107 | ||
| 108 | foreach ($deps as $file=>$mtime) { |
|
| 109 | if (!file_exists($file) || filemtime($file) > $mtime) { |
|
| 110 | return false; |
|
| 111 | } |
|
| 112 | } |
|
| 113 | ||
| 114 | return true; |
|
| 115 | } catch(NotFoundException $e) { |
|
