1
0
Fork 0

Updated array shape of php-ext options (#11950)

pull/11963/head
James Titcumb 2024-04-28 16:28:11 +01:00 committed by GitHub
parent b64e38eb86
commit 6778f1f79a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 13 additions and 2 deletions

View File

@ -292,6 +292,11 @@
"type": "object", "type": "object",
"description": "Settings for PHP extension packages.", "description": "Settings for PHP extension packages.",
"properties": { "properties": {
"extension-name": {
"type": "string",
"description": "If specified, this will be used as the name of the extension, where needed by tooling. If this is not specified, the extension name will be derived from the Composer package name (e.g. `vendor/name` would become `ext-name`). The extension name may be specified with or without the `ext-` prefix, and tools that use this must normalise this appropriately.",
"example": "ext-xdebug"
},
"priority": { "priority": {
"type": "integer", "type": "integer",
"description": "This is used to add a prefix to the INI file, e.g. `90-xdebug.ini` which affects the loading order. The priority is a number in the range 10-99 inclusive, with 10 being the highest priority (i.e. will be processed first), and 99 being the lowest priority (i.e. will be processed last). There are two digits so that the files sort correctly on any platform, whether the sorting is natural or not.", "description": "This is used to add a prefix to the INI file, e.g. `90-xdebug.ini` which affects the loading order. The priority is a number in the range 10-99 inclusive, with 10 being the highest priority (i.e. will be processed first), and 99 being the lowest priority (i.e. will be processed last). There are two digits so that the files sort correctly on any platform, whether the sorting is natural or not.",
@ -300,6 +305,12 @@
"example": 80, "example": 80,
"default": 80 "default": 80
}, },
"support-zts": {
"type": "boolean",
"description": "Does this package support Zend Thread Safety",
"example": false,
"default": true
},
"configure-options": { "configure-options": {
"type": "array", "type": "array",
"description": "These configure options make up the flags that can be passed to ./configure when installing the extension.", "description": "These configure options make up the flags that can be passed to ./configure when installing the extension.",

View File

@ -595,7 +595,7 @@ class Package extends BasePackage
/** /**
* Sets the list of paths added to PHP's include path. * Sets the list of paths added to PHP's include path.
* *
* @param array{priority?: int, configure-options?: list<array{name: string, description?: string}>}|null $phpExt List of directories. * @param array{extension-name?: string, priority?: int, support-zts?: bool, configure-options?: list<array{name: string, description?: string}>}|null $phpExt List of directories.
*/ */
public function setPhpExt(?array $phpExt): void public function setPhpExt(?array $phpExt): void
{ {

View File

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