while ($res = mysql_fetch_assoc(mysql_query("SELECT user_id FROM `lib`"))) {
$arr[] = $res['user_id'];
}
$arr = array_unique($arr);
if (in_array($user_id, $arr) {
echo '<div> • <a href="/avtor/text.php?avtor=' .$user['name']. '">Произведения ' . $user['name'] . '</a></div>';
}Говнокод, но работать должно