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