We moved to another solution. Rather that using FileInfo extension to PHP, we now use file command, which gives as good results, but is way easier to configure (i.e. no need to configure it in contrast to the PHP functions).

You can find how we made this in Wikidot source code :).

Cheers!