PHP is in quarantine

This part of the site runs on PHP, and PHP has a critical security hole that gets fixed today. Until the fix is in, PHP stays switched off here. Everything that is not PHP still works.

Fix expected 21 Oct, 16:00 CEST (14:00 UTC), PHP back soon after

Details: the PHP security announcement.

HTTP 503 · Service temporarily unavailable