diff options
| -rw-r--r-- | includes/menu.inc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/includes/menu.inc b/includes/menu.inc index 42f1fa39e..1793bfdc4 100644 --- a/includes/menu.inc +++ b/includes/menu.inc @@ -4,10 +4,7 @@ function menu($path, $title, $callback = NULL, $help = NULL, $weight = 0, $hidden = 0) { global $_gmenu; - if (isset($_gmenu[$path])) { - trigger_error("trying to add '$path' which already exists"); - } - else { + if (empty($_gmenu[$path])) { // add the menu to the flat list of menu items: $_gmenu[$path] = array("title" => $title, "callback" => $callback, "help" => $help, "weight" => $weight, "hidden" => $hidden, "children" => array()); |