From: Daniel Leidert <dleidert@debian.org>
Date: Fri, 27 Jan 2023 01:41:08 +0100
Subject: Upgrade jquery-ui to 1.13

This updates jquery-ui to 1.13. Also we require the set gem for Set.new.

Origin: https://github.com/jquery-ui-rails/jquery-ui-rails/pull/139/files#diff-ee98e028c59b193d58fde56ab4daf54d43c486ae674e63d50ddf300b07943e0f
---
 Rakefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Rakefile b/Rakefile
index b9b5e8d..b2d246b 100644
--- a/Rakefile
+++ b/Rakefile
@@ -1,6 +1,7 @@
 Encoding.default_external = "UTF-8" if defined?(Encoding)
 require 'json'
 require 'bundler/gem_tasks'
+require 'set'
 
 # returns the source filename for a named file in the 'dependencies'
 # array of a JSON build file
@@ -118,6 +119,7 @@ task :javascripts => :submodule do
   mkdir_p target_ui_dir + '/effects'
   mkdir_p target_ui_dir + '/widgets'
   mkdir_p target_ui_dir + '/i18n'
+  mkdir_p target_ui_dir + '/vendor/jquery-color'
 
   Dir.glob("jquery-ui/ui/**/*.js").each do |path|
     basename = File.basename(path)
@@ -170,6 +172,10 @@ task :javascripts => :submodule do
       clean_path = remove_js_extension(path).gsub('/ui', '')
       out.write("//= require #{clean_path}\n")
     end
+    Dir.glob("jquery-ui/ui/vendor/jquery-color/*.js").sort.each do |path|
+      clean_path = remove_js_extension(path).gsub('/ui', '')
+      out.write("//= require #{clean_path}\n")
+    end
   end
 end
 
