$OUT = '';
// @TODO This should be somehow rewritten to $row = SQL_FETCHARRAY(), see switch() block above for SQL queries
while (list($tid, $userid, $points, $reason, $stamp) = SQL_FETCHROW($result)) {
$OUT = '';
// @TODO This should be somehow rewritten to $row = SQL_FETCHARRAY(), see switch() block above for SQL queries
while (list($tid, $userid, $points, $reason, $stamp) = SQL_FETCHROW($result)) {