Last commit was a poor choice, put phpdox at a sane version number