Hosting and security
The PHP vulnerability of 21 October: what we did and why
After the leaked PHP vulnerabilities, we switched off PHP on our servers from 13.30 to 16.00. After that, the updated versions were running. There are no signs of an intrusion. We apologise for the inconvenience.