equal
deleted
inserted
replaced
39 <P CLASS="nav"> |
39 <P CLASS="nav"> |
40 <A HREF="index.php"><? echo _('DNS Admin'); ?></A> |
40 <A HREF="index.php"><? echo _('DNS Admin'); ?></A> |
41 <? |
41 <? |
42 if (level(10)) |
42 if (level(10)) |
43 { |
43 { |
44 ?><A HREF="users.php"><? echo _('User admin'); ?></A> <A HREF="seq_update.php"><? echo _('Synchronize database'); ?></A><? |
44 ?><A HREF="users.php"><? echo _('User admin'); ?></A> <? |
45 } |
45 } |
46 ?> |
46 ?> |
47 </P><BR> |
47 </P><BR> |
48 <? echo _('Type a hostname or a record in the box below and press search to see if the record exists in the system.'); ?> |
48 <? echo _('Type a hostname or a record in the box below and press search to see if the record exists in the system.'); ?> |
49 <table border = "0" cellspacing = "4"> |
49 <table border = "0" cellspacing = "4"> |