[dev] Horde/Menu.php patch

[Vilius Šumskas]

Hi,

this patch fixes warning in vilma (ant other application), if
get[Application]Menu function is not declared.

--
   Best Regards,

   Vilius Šumskas
   LNK TV system administrator
   mob.: +370 614 75713
   www.lnk.lt
-------------- next part --------------
--- Menu.php.orig	2004-04-07 14:58:30.000000000 +0300
+++ Menu.php	2004-04-07 14:54:54.000000000 +0300
@@ -250,7 +250,9 @@
         /* Get the menu array from the current app. */
         $app = $registry->getApp();
         $function = 'get' . $app . 'Menu';
-        $menu = call_user_func(array($app, $function));
+        if (function_exists($function)) {
+            $menu = call_user_func(array($app, $function));
+        }
 
         /* Add settings item. */
         if ($this->_with_prefs &&