Update PHP doc