Ubuntu " . explode("'", $ret[0])[1] . " is available, use do-release-upgrade to upgrade"); } else { echo("This server is running the latest version of Ubuntu"); }