Ciao a tutti,
il problema è il seguente:

vorrei cambiare la versione del PHP passando da quella di default 5.6 alla 7.1 (o anche 7.3),
ma dopo aver cliccato su "salva" nonostante sia passata...