[imp] accessing horde prefs from within imp javascript?

[Liam Hoekenga]

> In the devtools framework package you'll find horde-js-compress.php,  
> and the supporting files.
>   
Is there any problem allowing php to do the compression instead of using 
"yui compressor", "jsmin" or "ShrinkSafe"?

The files generated by --usephp weren't quite as small, and it looks 
like the it had come up with different (longer) variable names.

Liam