Capita a diversi amministratori di sistema di dover aggiornare il servizio PHP dei server che amministra, e oggi desidero condividere qui il modo facile, semplice e indolore, per farlo con pochi comandi da terminale.