<?php $filename = "file.php"; echo filetype($filename);
You have javascript disabled. You will not be able to edit any code.