Fix issue with PHP 7.1 dependency in dev manual

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
This commit is contained in:
Morris Jobke 2018-01-29 00:13:57 +01:00
parent 4cb1ea907b
commit 4c33b9a306
No known key found for this signature in database
GPG Key ID: FE03C3A163FEDE68

View File

@ -1,6 +1,6 @@
{
"minimum-stability": "dev",
"require": {
"juliushaertl/phpdoc-to-rst": "dev-master"
"juliushaertl/phpdoc-to-rst": "dev-php7.0"
}
}