From 2b17ecf1967baa05229ba66aa0af5868af575575 Mon Sep 17 00:00:00 2001 From: William Desportes Date: Tue, 1 Sep 2020 14:20:36 +0200 Subject: [PATCH] [ticket/16587] Use Doctum phar PHPBB3-16587 --- ...check-sami-parse-errors.sh => check-doctum-parse-errors.sh} | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) rename travis/{check-sami-parse-errors.sh => check-doctum-parse-errors.sh} (64%) diff --git a/travis/check-sami-parse-errors.sh b/travis/check-doctum-parse-errors.sh similarity index 64% rename from travis/check-sami-parse-errors.sh rename to travis/check-doctum-parse-errors.sh index ff2bcec3e2..4a7ac50157 100755 --- a/travis/check-sami-parse-errors.sh +++ b/travis/check-doctum-parse-errors.sh @@ -16,5 +16,6 @@ NOTESTS=$3 if [ "$NOTESTS" == '1' ] then - phpBB/vendor/bin/doctum.php parse build/doctum-checkout.conf.php -v + (cd phpBB/vendor/bin/ && curl -O https://doctum.long-term.support/releases/latest/doctum.phar && chmod +x doctum.phar) + php phpBB/vendor/bin/doctum.phar parse build/doctum-checkout.conf.php -v fi