Deleted extensions.php