echo $begrüßung;
function getmicrotime(){
list($usec, $sec) = explode(" ",microtime());
return ((float)$usec + (float)$sec);
}
Ab PHP 5 kann man sich diese Verrenkung sparen, wenn man microtime(true) aufruft.
Wie kann ich denn eine vernünftige Ausgabe ala 0,000062 Sekunden erhalten?
Gib die Zahl formatiert aus. Dazu eignen sich number_format() und {s|v}printf().
echo "$verabschiedung $name";