update other/php.md, add tool script