list_zones.php
changeset 20 76e20b9d45e6
parent 15 305cee3b388d
child 26 5d63f1e71d6e
equal deleted inserted replaced
19:f9ea2a05149b 20:76e20b9d45e6
     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 = ($all_doms == -1) ? 0 : 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);
       
    10 ?>
     9 ?>
    11    <h2><? echo _('List zones'); ?></h2>
    10    <h2><? echo _('List zones'); ?></h2>
    12 <?
    11 <?
       
    12 	echo "<div class=\"showmax\">";
       
    13 	show_pages(count($doms),ROWAMOUNT);
       
    14 	echo "</div>";
       
    15 
    13 if ($num_all_domains > ROWAMOUNT) 
    16 if ($num_all_domains > ROWAMOUNT) 
    14 {
    17 {
    15 	echo "<div class=\"showmax\">";
    18 	echo "<div class=\"showmax\">";
    16 	show_letters(LETTERSTART,$all_doms);
    19 	show_letters(LETTERSTART,$all_doms);
    17 	echo "</div>";
    20 	echo "</div>";