fix phpdox