✏️ Editing: PhpExtensionType.php