Merge pull request #3627 from Citadel-Station-13/upstream-merge-32050

[MIRROR] Use phpenv for the php build in travis instead of a PPA

.travis.yml

@@ -21,15 +21,12 @@ cache:
 
 addons:
   apt:
-    sources:
-      - sourceline: 'ppa:ondrej/php'
     packages:
       - libc6-i386
       - libgcc1:i386
       - libstdc++6:i386
       - python
       - python-pip
-      - php5.6
 
 install:
   - tools/travis/install_build_tools.sh

tools/travis/build_tools.sh

@@ -7,6 +7,8 @@ if [ "$BUILD_TOOLS" = true ];
 then
     md5sum -c - <<< "49bc6b1b9ed56c83cceb6674bd97cb34 *html/changelogs/example.yml";
     cd tgui && source ~/.nvm/nvm.sh && gulp && cd ..;
-    php5.6 -l tools/WebhookProcessor/github_webhook_processor.php;
+    phpenv global 5.6
+    php -l tools/WebhookProcessor/github_webhook_processor.php;
+    php -l tools/TGUICompiler.php;
     python tools/ss13_genchangelog.py html/changelog.html html/changelogs;
 fi;