Delete Extensions.php