Use a stable phpdocumentor version