From 8d548698495741cb815436b027fbc6e2d098ae18 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= Date: Sat, 3 Aug 2019 17:34:35 +0200 Subject: [PATCH] travis php5->php7.2 --- travis/before_install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/travis/before_install.sh b/travis/before_install.sh index 429393e70..e1abb9165 100644 --- a/travis/before_install.sh +++ b/travis/before_install.sh @@ -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