florianprischl

Thanks so much for your swift reply! Of course, this fixed it, and I should have updated PHP earlier anyway. 🙂