mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-10-04 17:06:39 -04:00
Some recent PRs have broken PHP 7.4 compatibility due to `mixed` typing.
Some recent PRs have broken PHP 7.4 compatibility due to `mixed` typing.