[dev] potential optimizations: static css and javascript

[Chuck Hagenbuch]

Quoting Jan Schneider <jan at horde.org>:

> Ah, understood. But this is not necessary, see above. There already is a
> parameter to addScriptFile that defines the path to be an absolute path to
> a static js file. No file extension magic.

Ah, right. Before I go ahead with this, do you think there's any reason 
for the
.js files to live in the theme/ dir? Say, so a theme can have a different
version of the date picker? Or should they go in a new /js dir? Another
advantage is that keeping them in theme/ would put all the static files in one
place. We could have a flag similar to $theme_icons ($theme_js) to say whether
or not to look in theme/themename or theme/horde for .js files.

Thoughts?

-chuck

-- 
"But she goes not abroad in search of monsters to destroy." - John 
Quincy Adams