✏️ Editing: installed_extensions_.php