Update PHPDoc version number