From 4c33b9a306def1a95ed97229ac7253b0e21af414 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Mon, 29 Jan 2018 00:13:57 +0100
Subject: [PATCH] Fix issue with PHP 7.1 dependency in dev manual

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
---
 build/composer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/composer.json b/build/composer.json
index b0facd795..034c6631f 100644
--- a/build/composer.json
+++ b/build/composer.json
@@ -1,6 +1,6 @@
 {
     "minimum-stability": "dev",
     "require": {
-        "juliushaertl/phpdoc-to-rst": "dev-master"
+        "juliushaertl/phpdoc-to-rst": "dev-php7.0"
     }
 }