Wednesday, October 21, 2026 at 4:36 p.m.
I'm glad I've seen it in a comment on jwz's blog. I have upgraded PHP on my server and restarted apache. I guess I better look at the PHP blog more often... Fun fact : My employer still uses PHP 7.3 with a build date of September 15 of this year :P