Update php-tools.md

update