Edit: Seems like GitHub has issues with merging PRs: https://github.com/docker-library/official-images/pull/22541
https://github.com/docker-library/faq#an-images-source-chang...
https://github.com/docker-library/official-images/pull/22544
Maybe the guy that has to click OK is asleep?
https://hub.docker.com/_/php/tags
EDIT: 25min later, nope.
https://hub.docker.com/layers/library/php/8.5.12-fpm/images/...