From 9ced107af20f8646ab0fc6117a11f044f48ac5b2 Mon Sep 17 00:00:00 2001
From: Jordi Boggiano <j.boggiano@seld.be>
Date: Tue, 2 Apr 2024 17:39:00 +0200
Subject: [PATCH] Ensure extension packages in platform repo have php-ext type
 set

---
 src/Composer/Repository/PlatformRepository.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Composer/Repository/PlatformRepository.php b/src/Composer/Repository/PlatformRepository.php
index 2f8f206e8..61c70cf32 100644
--- a/src/Composer/Repository/PlatformRepository.php
+++ b/src/Composer/Repository/PlatformRepository.php
@@ -661,6 +661,7 @@ class PlatformRepository extends ArrayRepository
         $packageName = $this->buildPackageName($name);
         $ext = new CompletePackage($packageName, $version, $prettyVersion);
         $ext->setDescription('The '.$name.' PHP extension'.$extraDescription);
+        $ext->setType('php-ext');
 
         if ($name === 'uuid') {
             $ext->setReplaces([