[dev] Chora menu.php

[John Morrissey]

Chuck recently nuked menu.php from all(?) apps; there's still one reference
to it left in Chora. See the attached.

john
-- 
John Morrissey          _o            /\         ----  __o
jwm at horde.net        _-< \_          /  \       ----  <  \,
www.horde.net/    __(_)/_(_)________/    \_______(_) /_(_)__
-------------- next part --------------
Index: chora/lib/Chora.php
===================================================================
RCS file: /repository/chora/lib/Chora.php,v
retrieving revision 1.35
diff -u -r1.35 Chora.php
--- chora/lib/Chora.php	22 May 2003 21:48:26 -0000	1.35
+++ chora/lib/Chora.php	27 May 2003 18:30:35 -0000
@@ -219,10 +219,9 @@
         }
 
         include CHORA_TEMPLATES . '/common-header.inc';
-        include CHORA_BASE . '/menu.php';
         $notification->push($errcode, 'horde.error');
         $notification->push($errmsg, 'horde.error');
-        $notification->notify();
+        Chora::menu();
         include CHORA_TEMPLATES . '/common-footer.inc';
         exit;
     }