Je moet ingelogd zijn om te stemmen.
<? if(is_file(realpath($_GET['file']))) { echo mime_content_type(realpath($_GET['file'])); // 18 highlight_file($_GET['file']); } ?>
<? if(is_file(realpath($_GET['file']))) { echo mime_content_type(realpath($_GET['file'])); // 18 highlight_file($_GET['file']); }?>