upgrade-cloud9-php72.sh

#!/bin/bash
 
# https://github.com/svpernova09/cloud9-php71/blob/master/install.sh
# ajouter le depot de php72 
sudo add-apt-repository ppa:ondrej/php -y
sudo apt-get update -y

 # installer les modules nécessaires et utiles pour php72
sudo apt-get install libpcre3 -y
sudo apt-get install php7.2 php7.2-curl php7.2-cli php7.2-gd php7.2-intl php7.2-json php7.2-mysql php7.2-opcache php7.2-bcmath php7.2-mbstring php7.2-soap php7.2-xml php7.2-zip php-sqlite3 -y
 
# sudo apt-get install php-sqlite3 -y

# mise à jour des fichiers de configuration 
sudo mv /etc/apache2/envvars /etc/apache2/envvars.bak
sudo apt-get remove libapache2-mod-php5 -y
sudo apt-get install libapache2-mod-php7.2 -y
sudo cp /etc/apache2/envvars.bak /etc/apache2/envvars

# desactivation de php5 et activation de php7
sudo a2dismod php5
sudo a2enmod php7.2

# re-demarrer le serveur web apache
sudo service apache2 restart
 
# INSTALLATION DE PHPMYADMIN
# https://community.c9.io/t/setting-up-phpmyadmin/1723
# inutile car déjà installé 
# mysql-ctl install
 
phpmyadmin-ctl install
 
mysql-ctl start