Come scrissi in un precedente articolo, è decisamente giunto il momento di passare a PHP 7.3.
Per Zend – nel momento in cui scrivo – la sezione 7.3.3 è considerata l’attualmente stabile. 7.2.16 e 7.1.17 le old stable. La 5 non esiste più: deve essere abbandonato.
Come installare PHP 7.3 su Ubuntu 18.04 o 16.04
Prendo in considerazione le ultime due LTS stabili di Ubuntu e loro derivate. Questo articolo è dunque valido anche, ad esempio, per Kde Neon Plasma 5.15.x.
Qualora PHP sia già installato, giusto per evitare conflitti remotamente possibili, aprire un terminale e digitare: sudo a2dismod php7.2
Nel precedente comando sostituire eventualmente php7.2 con php5.6 o qualunque altra sezione php risieda nel sistema.
Aggiungere il PPA di PHP7.3
Aggiungere il ppa che contiene i vari pacchetti e le estensioni PHP:
sudo add-apt-repository ppa:ondrej/php
sudo apt update
ed eventualmente sudo apt upgrade
prima di procedere con il prossimo passo.
Installare PHP7.3
Da terminale: sudo apt install php7.3
A procedura ultimata, verificare la versione di php con php -v
Installare le estensioni di PHP7.3
In generale basta digitare sudo apt install php7.3-
e premere il tasto TAB due volte per vedere quali estensioni siano disponibili.
Se ci interessa ad esempio quella per mysql, è sufficiente: sudo apt install php7.3-mysql
Per comodità indico la stragrande maggioranza delle più comuni/usate in un comando unico:
sudo apt install php7.3-cli php7.3-fpm php7.3-json php7.3-pdo php7.3-mysql php7.3-zip php7.3-gd php7.3-mbstring php7.3-curl php7.3-xml php7.3-bcmath php7.3-json
Riavviare il server web
Per comodità indico i due casi più comuni, ovvero Nginx ed Apache.
Per Nginx: sudo service nginx restart
Nel caso in cui sia invece installato Apache: sudo service apache2 restart
Segui @andymnc (Andrea Manconi) su Twitter per essere sempre aggiornato su guide ed articoli