Right… i’ve found it:
Line 1910 of wp-content/themes/arjuna-x/functions.php:
function arjuna_admin_initJS() {
wp_enqueue_script('fionnFarbtasticJS', get_template_directory_uri() .'/lib/farbtastic/farbtastic.js');
wp_enqueue_script('arjunaAdminJS', get_template_directory_uri() .'/admin/admin.js');
wp_enqueue_script('arjunaJQueryMinJS', get_template_directory_uri() .'/lib/<strong>jquery-ui-1.8.10.custom.min.js</strong>');
}
The function arjuna_admin_initJS is then referenced here:
//JS for plugin page
add_action('admin_print_scripts', 'arjuna_admin_initJS');
Does anyone know what this all does or whether it is safe and sensible to just delete jquery-ui-1.8.10.custom.min.js?