diff -r ac0ca51809b1 -r 47dd15d8bb8c search.php
--- a/search.php	Wed Apr 18 22:48:49 2007 +0000
+++ b/search.php	Sun Apr 22 07:20:09 2007 +0000
@@ -41,7 +41,7 @@
 <?
 if (level(10))
 {
-	?><A HREF="users.php"><? echo _('User admin'); ?></A> <A HREF="seq_update.php"><? echo _('Synchronize database'); ?></A><?
+	?><A HREF="users.php"><? echo _('User admin'); ?></A> <?
 }
 ?>
 </P><BR>