Ubuntu " . explode("'", $ret[0])[1] . " is available, use do-release-upgrade to upgrade", "Ubuntu " . explode("'", $ret[0])[1] . " est disponible, exécutez la commande do-release-upgrade pour effectuer la mise à niveau")); } else { echo(l("This server is running the latest version of Ubuntu", "Ce serveur exécute la dernière version d'Ubuntu")); }