1<?php 2 3if (!extension_loaded('fileinfo')) { 4 die("skip fileinfo extension not loaded"); 5} 6 7?> 8
