Skip to content

maint: additional cleanup after PHP 8.4 - #213

Open
mcdurdin wants to merge 1 commit into
masterfrom
maint/php-84-cleanup
Open

maint: additional cleanup after PHP 8.4#213
mcdurdin wants to merge 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

4 participants