1
0
Fork 0

Fix phpdoc for new php-ext schema

pull/11902/head
Jordi Boggiano 2024-03-20 22:44:48 +01:00
parent 07fa4255d6
commit bc157ebea9
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
2 changed files with 3 additions and 3 deletions

View File

@ -98,7 +98,7 @@ class Package extends BasePackage
protected $isDefaultBranch = false;
/** @var mixed[] */
protected $transportOptions = [];
/** @var array{priority?: int, config?: array<string, bool>}|null */
/** @var array{priority?: int, configure-options?: list<array{name: string, description?: string}>}|null */
protected $phpExt = null;
/**
@ -595,7 +595,7 @@ class Package extends BasePackage
/**
* Sets the list of paths added to PHP's include path.
*
* @param array{priority?: int, config?: array<string, bool>}|null $phpExt List of directories.
* @param array{priority?: int, configure-options?: list<array{name: string, description?: string}>}|null $phpExt List of directories.
*/
public function setPhpExt(?array $phpExt): void
{

View File

@ -326,7 +326,7 @@ interface PackageInterface
/**
* Returns the settings for php extension packages
*
* @return array{priority?: int, config?: array<string, bool>}|null
* @return array{priority?: int, configure-options?: list<array{name: string, description?: string}>}|null
*/
public function getPhpExt(): ?array;