Update PHP Documenter files