formatDateTime($MAX_ONLINE_TIME); ?> "detail")); $header = HTML::a(array('href'=>$url),_("Who Is Online")); } /* $registered_names = array(); foreach ($REGISTERED as $user) { $registered_names[] = WikiLink($user['name']); } */ ?>

	asXML() . ", "; } echo substr($s,0,-2); ?>

"summary")); $header = HTML::a(array('href'=>$url),_("Who Is Online")); ?>

	formatDateTime($user['date']) ?>
	formatDateTime($user['date']) ?>
	formatDateTime($user['date']) ?>

---