For one, I had misread phpinfo - the fileinfo extension had not been loaded. Two, on a shared host, loading an extension required creating a ../.php/5.6/phprc file that included "extension=fileinfo.so". This, too, was learned.