adapted out.php and whoisonline.php according to code style