✏️ Editing: PhpExtensionManager.php