[horde] Opera javascript navbar hack

[Akom]

I've noticed that in Opera (which is what I prefer to use on low-memory/cpu
machines) the navbar is inoperable - it cannot be expanded.  Javascript
support in opera (I'm guessing) is by the book but does not seem to include
dom.

True, you can disable javascript in Opera and then the tree will come up
expanded to begin with.  But javascript is useful for other parts of horde
(new mail, etc).

so here is my quick workaround:

Index: lib/Browser.php
===================================================================
RCS file: /repository/horde/lib/Browser.php,v
retrieving revision 1.89
diff -r1.89 Browser.php
365a366,369
>
>     if (strstr($this->_agent, 'Opera')) {
>       $this->setFeature('dom', false);
>     }


Hope this helps someone.

(There may be a cleaner way or perhaps this should be a quirk?)