✏️ Editing: extension.php