✏️ Editing: InstallablePhpExtensionValue.php