✏️ Editing: extensions.php