users.php
changeset 8 47dd15d8bb8c
parent 3 64525a2eb098
child 9 d55459cd1712
equal deleted inserted replaced
7:ac0ca51809b1 8:47dd15d8bb8c
    44 // Dirty hack, maybe revise?
    44 // Dirty hack, maybe revise?
    45 include_once("inc/header.inc.php");
    45 include_once("inc/header.inc.php");
    46 ?>
    46 ?>
    47 <H2><? echo _('User admin'); ?></H2>
    47 <H2><? echo _('User admin'); ?></H2>
    48 <P CLASS="nav">
    48 <P CLASS="nav">
    49 <A HREF="index.php"><? echo _('DNS Admin'); ?></A>
    49 <A HREF="index.php"><? echo _('DNS Admin'); ?></A> <A HREF="search.php"><? echo _('Search records'); ?></A></P><BR><?
    50 <?
       
    51 if (level(10))
       
    52 {
       
    53 	?> <A HREF="seq_update.php"><? echo _('Synchronize database'); ?></A> <?
       
    54 }
       
    55 ?><A HREF="search.php"><? echo _('Search records'); ?></A></P><BR><?
       
    56 // End
    50 // End
    57 
    51 
    58 if (!level(10)) 
    52 if (!level(10)) 
    59 {
    53 {
    60 	error(ERR_LEVEL_10);
    54 	error(ERR_LEVEL_10);