<?php filetype(string $filename): string|false
<?php public function type($path) { return filetype($path); }