delete_domain.php
changeset 37 b785e54690ce
parent 13 2ff220cfde13
child 47 ae140472d97c
equal deleted inserted replaced
36:4ec5ab29f634 37:b785e54690ce
    43 	<?
    43 	<?
    44 } elseif ($_GET["edit"]) {
    44 } elseif ($_GET["edit"]) {
    45         include_once("inc/header.inc.php");
    45         include_once("inc/header.inc.php");
    46 } else {
    46 } else {
    47         include_once("inc/header.inc.php");
    47         include_once("inc/header.inc.php");
    48         die("Nothing to do!");
    48         echo _("Nothing to do!");
    49 }
    49 }
    50 include_once("inc/footer.inc.php");
    50 include_once("inc/footer.inc.php");