✏️ Editing: InstallPhpExtensionInputType.php