Just had an email from the webhost. He upgraded the site to PHP 5.4.37. I don't remember what the old version was.