Files
FreshRSS/app/Models
Alexandre Alapetite 4039f6c9a4 Fix cache refresh (#5562)
Improvement of https://github.com/FreshRSS/FreshRSS/pull/4422

The main problem was due to `touch()` not automatically clearing the file status cache, and requiring a call to `clearstatcache()`. Example:

```
php > touch('/tmp/touch.txt');
php > echo date('c', filemtime('/tmp/touch.txt'));
2023-08-03T17:27:43+02:00
php > touch('/tmp/touch.txt');
php > echo date('c', filemtime('/tmp/touch.txt'));
2023-08-03T17:27:43+02:00
php > clearstatcache(true, '/tmp/touch.txt');
php > echo date('c', filemtime('/tmp/touch.txt'));
2023-08-03T17:28:21+02:00
```
2023-08-03 21:56:35 +02:00
..
2023-02-03 14:35:59 +01:00
2023-07-19 23:40:28 +02:00
2023-04-17 08:30:21 +02:00
2023-08-03 21:56:35 +02:00
2023-03-27 00:36:21 +02:00
2023-03-27 00:36:21 +02:00
2023-04-17 08:30:21 +02:00
2023-06-13 22:39:33 +02:00
2023-05-11 12:53:32 +02:00