Update PHP tools.