Delete extension.php