From 43576758311bd64506284b15a3a12f153a1c1bc2 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Sun, 5 Jun 2011 11:28:43 +0200
Subject: 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).
---
 lib/exe/css.php | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/exe/css.php')

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
-- 
cgit v1.2.3