diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2011-06-05 11:28:43 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2011-06-05 11:28:43 +0200 |
| commit | 43576758311bd64506284b15a3a12f153a1c1bc2 (patch) | |
| tree | 9bcb1150b954d36621beaf17a2778e0154ba3939 /lib/exe/css.php | |
| parent | 17582ec6bab09e9d9faf53a93d22ecb4fbf2bb47 (diff) | |
| download | rpg-43576758311bd64506284b15a3a12f153a1c1bc2.tar.gz rpg-43576758311bd64506284b15a3a12f153a1c1bc2.tar.bz2 | |
Updated jQuery-UI, added jQuery updater, load theme in CSS dispatcher
This patch adds a simple shell script to easily update the
jQuery/jQuery-UI+theme bundle to the latest available version.
The jQuery-UI CSS theme is now loaded in lib/exe/css.php (before plugin
and template styles - 3rd party authors can override the styles).
Diffstat (limited to 'lib/exe/css.php')
| -rw-r--r-- | lib/exe/css.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/exe/css.php b/lib/exe/css.php index 03f900034..e4105b427 100644 --- a/lib/exe/css.php +++ b/lib/exe/css.php @@ -62,6 +62,8 @@ function css_out(){ $files = array(); // load core styles $files[DOKU_INC.'lib/styles/'.$mediatype.'.css'] = DOKU_BASE.'lib/styles/'; + // load jQuery-UI theme + $files[DOKU_INC.'lib/js/jquery/jquery-ui-theme/smoothness.css'] = DOKU_BASE.'lib/js/jquery/jquery-ui-theme/'; // load plugin styles $files = array_merge($files, css_pluginstyles($mediatype)); // load template styles |