From 471870a65dd1b91610f0660d9759d00cee49f3ed Mon Sep 17 00:00:00 2001
From: Francois B <shakasan@sirenacorp.be>
Date: Mon, 4 Jun 2018 20:59:50 +0200
Subject: [PATCH] php-cli updated from 7.0 to 7.2

---
 repo_functions_ub1804.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repo_functions_ub1804.sh b/repo_functions_ub1804.sh
index 823ef42..6e3c869 100644
--- a/repo_functions_ub1804.sh
+++ b/repo_functions_ub1804.sh
@@ -312,7 +312,7 @@ emma-cli;npm;javascript;emma-cli
 jshint;npm;javascript;jshint
 oracle-java10-installer;apt;java10;oracle-java10-installer
 oracle-java10-set-default;apt;java10;oracle-java10-set-default
-php7.0-cli;apt;php;php7.0-cli
+php7.2-cli;apt;php;php7.2-cli
 php-pear;apt;php;php-pear
 composer;apt;php;composer
 luajit;apt;lua;luajit