1.0dev: Removed the duplicated `jquery_ui_location` and `jquery_ui_theme_location` options
Authored by: jomae 2012-08-18
Parent: [r11205]
Child: [r11207]