From ed8b12e1d6fb2888cca2c1abacc62e3ce25c547e Mon Sep 17 00:00:00 2001
From: Henrik Giesel <hengiesel@gmail.com>
Date: Wed, 30 Dec 2020 12:08:12 +0100
Subject: [PATCH] Add redirect for jquery-ui

---
 qt/aqt/mediasrv.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/qt/aqt/mediasrv.py b/qt/aqt/mediasrv.py
index ee7e1f829..9749a582c 100644
--- a/qt/aqt/mediasrv.py
+++ b/qt/aqt/mediasrv.py
@@ -197,6 +197,10 @@ def _redirectWebExports(path):
                 base = "jquery.min"
                 addprefix = "js/vendor/"
 
+            elif base == "jquery-ui":
+                base = "jquery-ui.min"
+                addprefix = "js/vendor/"
+
         if addprefix:
             oldpath = path
             path = f"{targetPath}{addprefix}{base}{ext}"