diff options
| author | 2016-11-20 16:52:07 +0100 | |
|---|---|---|
| committer | 2016-11-20 16:52:07 +0100 | |
| commit | b28b6a4bf273253d1bb57b99a80fa7ae77a48397 (patch) | |
| tree | fdee3b12781b46cdf132b8fb74bf2e9aedd3cf91 /lib/lib_rss.php | |
| parent | b07a05dc79d314b65cb7f55c1e3788ac00b27f88 (diff) | |
extension_loaded fileinfo
https://github.com/FreshRSS/FreshRSS/issues/1375
Diffstat (limited to 'lib/lib_rss.php')
| -rw-r--r-- | lib/lib_rss.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/lib_rss.php b/lib/lib_rss.php index fc68a96d3..560e5b256 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -398,6 +398,7 @@ function check_install_php() { 'pdo' => $pdo_mysql || $pdo_sqlite, 'pcre' => extension_loaded('pcre'), 'ctype' => extension_loaded('ctype'), + 'fileinfo' => extension_loaded('fileinfo'), 'dom' => class_exists('DOMDocument'), 'json' => extension_loaded('json'), 'zip' => extension_loaded('zip'), |
