mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-10-02 07:56:14 -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.