travis php5->php7.2

This commit is contained in:
Jindra Petřík
2019-08-03 17:34:35 +02:00
parent 286c0780cc
commit 8d54869849

View File

@@ -13,7 +13,7 @@ sudo apt-get install -y unzip
sudo apt-get install -y jq
sudo apt-get install -y curl
#For parsing changelog
sudo apt-get install -y php5-cli
sudo apt-get install -y php7.2-cli
# create directory where tools will be downloaded and installed
mkdir $tools_dir