[horde] Horde 4.0

[Chuck Hagenbuch]

Quoting Elliot Anders <elliot at marlboro.edu>:

> One thing I ran into that I haven't found the best practice for is
> compressing the javascript from the src to js directory.  Is there a
> script to use, or some method to easily change the js path from the
> production horde/js to the development horde/js/src ?

Both. horde-js-compress.php in git:horde-support/maintainer-tools. And  
set the jsuri and jspath parameters for git applications in  
horde/config/registry.php to point to the src/ dir directly.

-chuck