let user choose which jquery-ui is to be used