Update hopelessly outdated PHP syntax.