diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-02-07 01:03:00 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-02-07 01:03:00 +0100 |
| commit | ede82f9819e1fa6aafd2cb27010c84ef18bb06c0 (patch) | |
| tree | a13552bfc8590cf5fe37c0947503f890748fae9b /app/Controllers/feedController.php | |
| parent | 354f22b4fa30443cf6f0a62dbddb18a78af6d93b (diff) | |
Fix read-when-same-title bug (#4206)
Made apparent by type hints
Diffstat (limited to 'app/Controllers/feedController.php')
| -rwxr-xr-x | app/Controllers/feedController.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Controllers/feedController.php b/app/Controllers/feedController.php index 99a4c8bd0..a9825bf8b 100755 --- a/app/Controllers/feedController.php +++ b/app/Controllers/feedController.php @@ -365,7 +365,7 @@ class FreshRSS_feed_Controller extends FreshRSS_ActionController { $readWhenSameTitleInFeed = FreshRSS_Context::$user_conf->mark_when['same_title_in_feed']; } if ($readWhenSameTitleInFeed > 0) { - $titlesAsRead = array_flip($feedDAO->listTitles($feed->id(), $feed->attributes('read_when_same_title_in_feed'))); + $titlesAsRead = array_flip($feedDAO->listTitles($feed->id(), intval($readWhenSameTitleInFeed))); } $mark_updated_article_unread = $feed->attributes('mark_updated_article_unread') !== null ? ( |