nextcloud /
server
| @@ 109-113 (lines=5) @@ | ||
| 106 | } |
|
| 107 | $deps = json_decode($deps, true); |
|
| 108 | ||
| 109 | foreach ($deps as $file=>$mtime) { |
|
| 110 | if (!file_exists($file) || filemtime($file) > $mtime) { |
|
| 111 | return false; |
|
| 112 | } |
|
| 113 | } |
|
| 114 | ||
| 115 | return true; |
|
| 116 | } catch(NotFoundException $e) { |
|
| @@ 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) { |
|
