update to latest gradio

2026-02-01 22:10:01 +00:00 · 2024-03-02 08:25:10 +03:00
parent 43850655d9
commit 3ee79332b1
5 changed files with 62 additions and 16 deletions
--- a/javascript/gradio.js
+++ b/javascript/gradio.js
@@ -0,0 +1,5 @@
+
+// added to fix a weird error in gradio 4.19 at page load
+Object.defineProperty(Array.prototype, 'toLowerCase', {
+    value: function() { return this; }
+});