FILEINFO_MIME_TYPE is always present in PHP 5.3+, and that's all we support now
authorAaron Wells <aaronw@catalyst.net.nz>
Wed, 2 Apr 2014 04:11:56 +0000 (17:11 +1300)
committerGerrit Code Review <gerrit@reviews.mahara.org>
Wed, 2 Apr 2014 20:38:49 +0000 (09:38 +1300)
commit069e85dc71452e3cffc84d86bce415271b805612
tree9dabc5eb054903952524152521f5f749084be5e0
parent7a9b8e994a0e03cc8de6046603c3ee0b02ca3411
FILEINFO_MIME_TYPE is always present in PHP 5.3+, and that's all we support now

Bug 1249858

Change-Id: If6c978cbf32f465469229bc093cd086e758f7147
htdocs/lib/file.php