Fix more php 5.3 issues.

Php code in site-tools still requires 5.4, but that's normally not run on the server.