From d0b637f686a9406ee474cf7121815c5bc722112c Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Thu, 12 Sep 2019 13:46:22 +0200
Subject: [PATCH] Build system: Use PHP 5.6 for deployment due to broken
 phpDocumentor v2.9

phpDocumentor v3.0 (currently in alpha) is broken, too, generating class docs without a single working link
---
 .phpdoc.xml | 4 ++--
 .travis.yml | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.phpdoc.xml b/.phpdoc.xml
index f924f31..8f6456e 100644
--- a/.phpdoc.xml
+++ b/.phpdoc.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" ?>
-<phpdoc>
+<phpdocumentor>
     <title><![CDATA[Pico API Documentation]]></title>
     <parser>
         <target>.build/phpdoc.cache</target>
@@ -30,4 +30,4 @@
         <!-- exclude vendor dir -->
         <ignore>vendor/*</ignore>
     </files>
-</phpdoc>
+</phpdocumentor>
diff --git a/.travis.yml b/.travis.yml
index 00f6a8f..255871d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -25,6 +25,7 @@ jobs:
 
     # Deployment stage
     - stage: deploy
+      php: 5.6
       sudo: required
       install:
         - '[ "$TRAVIS_PULL_REQUEST" == "false" ] || travis_terminate 0'