All of a sudden, things started to work again. Accouding to php’s info, the version is still the same, but things work, so I assume that Zend was upgraded, I’m surprised, the office is supposed to be closed.
Anyway, my other entries will return in a bit, I’m off to a family get-together right now.