php-cli updated from 7.0 to 7.2

This commit is contained in:
Francois B 2018-06-04 20:59:50 +02:00
parent 4d1693fa77
commit 471870a65d

View file

@ -312,7 +312,7 @@ emma-cli;npm;javascript;emma-cli
jshint;npm;javascript;jshint jshint;npm;javascript;jshint
oracle-java10-installer;apt;java10;oracle-java10-installer oracle-java10-installer;apt;java10;oracle-java10-installer
oracle-java10-set-default;apt;java10;oracle-java10-set-default 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 php-pear;apt;php;php-pear
composer;apt;php;composer composer;apt;php;composer
luajit;apt;lua;luajit luajit;apt;lua;luajit