index a500ce84b9df35f64b12e6bc54d4af218ea0dde6..f12ad0f8bcc77f0de704d79532a6409e11fbbd93 100644 (file)
class servdns extends plugin
{
- /* CLI vars */
- var $cli_summary= "Manage server basic objects";
- var $cli_description= "Some longer text\nfor help";
- var $cli_parameters= array("eins" => "Eins ist toll", "zwei" => "Zwei ist noch besser");
-
/* attribute list for save action */
var $ignore_account = FALSE;
var $attributes = array();
/* Create Listbox with existing Zones
*/
$ZoneList = new divSelectBox("dNSZones");
- $ZoneList -> SetHeight(254);
+ $ZoneList -> SetHeight(300);
/* Add entries to divlist
*/