echo $begrüßung;
if(array_key_exists('HTTP_USER_AGENT',$_SERVER) [...]
Nur zur Info: array_key_exists('key', $array) braucht circa die dreifache Zeit von isset($array['key'])
echo "$verabschiedung $name";
echo $begrüßung;
if(array_key_exists('HTTP_USER_AGENT',$_SERVER) [...]
Nur zur Info: array_key_exists('key', $array) braucht circa die dreifache Zeit von isset($array['key'])
echo "$verabschiedung $name";