mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-07-02 19:26:07 -04:00
getExtension() is not available on PHP < 5.3.7 Replaced by pathinfo(..., PATHINFO_EXTENSION) See https://github.com/marienfressinaud/FreshRSS/issues/649