change version of phpdocumentor