index 32bf58a038a7057fc63566053ea443dbea0f1337..8ddafe2d46befaee65d94d2cb6be83d41b11dcf8 100644 (file)
<?php
-
-
/* This class is inherited from the original 'Tree'
* class written by Heiko Hund.
* It is partly rewritten to create a useable html interface
$this->_construct($root);
}
+
function execute()
{
return($this->dump());
}
+
/* Create a html interface for the current sieve filter
*/
function dump()
}
if(!isset($this->pap[$key_id])){
- trigger_error(_("Can't remove element with object_id=".$key_id.", there is no object with this identifier. Remove aborted."));
+ trigger_error("Can't remove element with object_id=".$key_id.", there is no object with this identifier. Remove aborted.");
return(false);
}