Insert version number for phpDocumentor/phpDocumentor2#874