1
0
Fork 0

Ensure extension packages in platform repo have php-ext type set

pull/11922/head
Jordi Boggiano 2024-04-02 17:39:00 +02:00
parent 94be5b5c14
commit 9ced107af2
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 1 additions and 0 deletions

View File

@ -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([