diff options
| -rw-r--r-- | application/helpers/filebin_helper.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/application/helpers/filebin_helper.php b/application/helpers/filebin_helper.php index 5e37f4b80..29c7d6eb8 100644 --- a/application/helpers/filebin_helper.php +++ b/application/helpers/filebin_helper.php @@ -337,7 +337,12 @@ function cache_function_full($key, $ttl, $function) { // Return mimetype of file function mimetype($file) { $fileinfo = new finfo(FILEINFO_MIME_TYPE); + + // XXX: Workaround for PHP#71434 https://bugs.php.net/bug.php?id=71434 + $old = error_reporting(); + error_reporting($old &~ E_NOTICE); $mimetype = $fileinfo->file($file); + error_reporting($old); return $mimetype; } |