<?php

if (!extension_loaded('fileinfo')) {
	die("skip fileinfo extension not loaded");
}

?>