list_zones.php
changeset 15 305cee3b388d
parent 13 2ff220cfde13
child 20 76e20b9d45e6
equal deleted inserted replaced
14:2093cbe1133e 15:305cee3b388d
     2 require_once("inc/i18n.inc.php");
     2 require_once("inc/i18n.inc.php");
     3 require_once("inc/toolkit.inc.php");
     3 require_once("inc/toolkit.inc.php");
     4 include_once("inc/header.inc.php");
     4 include_once("inc/header.inc.php");
     5 
     5 
     6 $all_doms = get_domains(0);
     6 $all_doms = get_domains(0);
     7 $num_all_domains = count($all_doms);
     7 $num_all_domains = ($all_doms == -1) ? 0 : count($all_doms);
     8 $doms = get_domains(0,LETTERSTART);
     8 $doms = get_domains(0,LETTERSTART);
     9 show_pages(count($doms),ROWAMOUNT);
     9 show_pages(count($doms),ROWAMOUNT);
    10 ?>
    10 ?>
    11    <h2><? echo _('List zones'); ?></h2>
    11    <h2><? echo _('List zones'); ?></h2>
    12 <?
    12 <?