0) { $match = false; $index = join(" ", $usr); foreach ($tokens as $t) if (stristr($index, trim($t))) { $match = true; break; } if (! $match) continue; } $table .= ''; $table .= '' . User_Nick_render($usr) . ''; $usr['nick'] = User_Nick_render($usr); $usr['arrived'] = $usr['Gekommen'] == 1 ? _("yes") : ""; $usr['actions'] = $usr['Gekommen'] == 1 ? '' . _("reset") . '' : '' . _("arrived") . ''; if ($usr['Gekommen'] == 1) $table .= 'yesreset'; else $table .= 'arrived'; $table .= ''; $users_matched[] = $usr; } return page(array( msg(), form(array( form_text('search', _("Search"), $search), form_submit('submit', _("Search")) )), table(array( 'nick' => _("Nickname"), 'arrived' => _("Arrived?"), 'actions' => "" ), $users_matched) )); } ?>