[dev] Re: Javascript Error: Horde_Tree is undefined

[Stefan Kronawithleitner]

I don't think, that this is the correct fix for the problem, more a workaround.

To answer the question from Jan - in my case: yes. (e.g. horde.example.com/trean)