[dev] JS Error in DHTML Menu

[Dan Wilson]

I kept getting a JS error in the new DHTML Menu, so I did some digging and it 
looks like there is a call to a $browser object within the menu.js file.

I've patched the javascript.php:

[dan at kamino dev_horde]$ cvs diff javascript.php 
Index: javascript.php
===================================================================
RCS file: /repository/horde/javascript.php,v
retrieving revision 1.15
diff -r1.15 javascript.php
14a15,18
> // Browser detection library
> require_once HORDE_BASE . '/lib/Browser.php';
> $browser = &new Browser();
> 

-Dan