Skip to content

Drop useless symfony/polyfill-php80 polyfill#30

Merged
trasher merged 1 commit into
glpi-project:mainfrom
cedric-anne:task/drop-php-polyfill
Jun 24, 2026
Merged

Drop useless symfony/polyfill-php80 polyfill#30
trasher merged 1 commit into
glpi-project:mainfrom
cedric-anne:task/drop-php-polyfill

Conversation

@cedric-anne

@cedric-anne cedric-anne commented Jun 24, 2026

Copy link
Copy Markdown
Member

It follows #29 .

Since PHP >= 8.2 is required, this polyfill is now useless.

@cedric-anne cedric-anne requested a review from trasher June 24, 2026 13:14
@cedric-anne cedric-anne self-assigned this Jun 24, 2026
@trasher trasher merged commit c90f10d into glpi-project:main Jun 24, 2026
2 checks passed
@cedric-anne cedric-anne deleted the task/drop-php-polyfill branch June 24, 2026 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants