PHP Documentor update