Skip to content

maint: additional cleanup after PHP 8.4 - #213

Merged
mcdurdin merged 1 commit into
masterfrom
maint/php-84-cleanup
Sep 15, 2026
Merged

mcdurdin merged 1 commit into
masterfrom
maint/php-84-cleanup

Conversation

@mcdurdin

@mcdurdin mcdurdin commented Sep 11, 2026

Copy link
Copy Markdown
Member
  • Update Dockerfile to use dev vs prod php.ini and set DOCKER_PLATFORM
  • Update sentry/sentry in composer.json

Test-bot: skip
Relates-to: #209

* Update Dockerfile to use dev vs prod php.ini and set DOCKER_PLATFORM
* Update sentry/sentry in composer.json

Test-bot: skip
@keymanapp-test-bot

Copy link
Copy Markdown

User Test Results

Test specification and instructions

User tests are not required

@keymanapp-test-bot keymanapp-test-bot Bot added this to the B19S1 milestone Sep 11, 2026
@github-actions github-actions Bot added the maint label Sep 11, 2026
@github-project-automation github-project-automation Bot moved this to Todo in Keyman Sep 11, 2026
@keyman-server keyman-server modified the milestones: B19S1, B19S2 Sep 12, 2026
@mcdurdin
mcdurdin merged commit d90e268 into master Sep 15, 2026
6 checks passed
@mcdurdin
mcdurdin deleted the maint/php-84-cleanup branch September 15, 2026 06:02
@github-project-automation github-project-automation Bot moved this from Todo to Done in Keyman Sep 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants