auto-commit done by run_phpdoc.sh
auto-commit done by run_phpdoc.sh