mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-04-20 07:42:09 +02:00
Code Issues Releases Wiki Activity

[ticket/16587] Use Doctum phar

Browse Source 
PHPBB3-16587
This commit is contained in:
William Desportes 2020-09-01 14:20:36 +02:00
parent 1484f8ce91
commit 2b17ecf196
No known key found for this signature in database
GPG Key ID: 90A0EF1B8251A889
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
travis/check-sami-parse-errors.sh → travis/check-doctum-parse-errors.sh
View File

@ -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