wiki maintenance

Hi,

TLDR: wiki.php.net will be down for maintenance for about 15 minutes
commencing Thursday April 23rd, 2026, from 13:00 UTC onwards.

Long form:

We're upgrading all our machines to a newer Debian (13), which will also
have the benefit of having PHP 8.4 installed. Instead of upgrading
existing machines, we are republishing each website property on a new
VM, and this requires:

1. stopping the web server on the old machine
2. running a back up of the data (As things might have changed since the
   nightly backup run)
3. restoring the backup on the new machine
4. switching DNS to the new machine, and wait

As an experiment, at the same time we are also switching to a different
CDN provider for the wiki. This will not give any extra down time, and
if it doesn't work out, changing back to our existing provider will not
cause any downtime either, as the origin server won't be changing at the
same time.

I will send an email here when the DNS switch has been accomplished, but
it then might take some time with some ISPs for them to refresh their
own caches.

If you encounter any problem afterwards, please file a ticket at
https://github.com/php/infrastructure/issues using the "property: wiki"
label.

cheers,
Derick