Skip to content

Comments

Group and update supported extensions list#304

Merged
asgrim merged 2 commits intophp:mainfrom
asgrim:supported-exts
Aug 8, 2025
Merged

Group and update supported extensions list#304
asgrim merged 2 commits intophp:mainfrom
asgrim:supported-exts

Conversation

@asgrim
Copy link
Contributor

@asgrim asgrim commented Aug 5, 2025

No description provided.

@asgrim asgrim added this to the 1.1.0 milestone Aug 5, 2025
@asgrim asgrim self-assigned this Aug 5, 2025
@asgrim asgrim added the documentation Improvements or additions to documentation label Aug 5, 2025
@asgrim asgrim modified the milestones: 1.1.0, 1.2.0 Aug 7, 2025
@asgrim asgrim merged commit e90a99e into php:main Aug 8, 2025
28 checks passed
@asgrim asgrim deleted the supported-exts branch August 8, 2025 07:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant