From 22bfcf135f8df26f55e01b744bcff748541d44db Mon Sep 17 00:00:00 2001
From: Remixer Dec <6587642+remixer-dec@users.noreply.github.com>
Date: Sat, 25 Mar 2023 18:23:34 +0400
Subject: [PATCH 1/2] fix overriding getElementById on document

---
 script.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script.js b/script.js
index 978b948f4..1b9a443f9 100644
--- a/script.js
+++ b/script.js
@@ -2,7 +2,7 @@ function gradioApp() {
     const elems = document.getElementsByTagName('gradio-app')
     const elem = elems.length == 0 ? document : elems[0]
 
-    elem.getElementById = function(id){ return document.getElementById(id) }
+    if (elem !== document) elem.getElementById = function(id){ return document.getElementById(id) }
     return elem.shadowRoot ? elem.shadowRoot : elem
 }
 

From 69eb2a9ee8676640be288bef70ba89956be01478 Mon Sep 17 00:00:00 2001
From: AUTOMATIC <16777216c@gmail.com>
Date: Sat, 25 Mar 2023 17:39:42 +0300
Subject: [PATCH 2/2] add missing extensions_dir, extensions_builtin_dir to
 extensions.py

---
 modules/extensions.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/extensions.py b/modules/extensions.py
index 8107a933f..a14ffbf04 100644
--- a/modules/extensions.py
+++ b/modules/extensions.py
@@ -6,6 +6,7 @@ import time
 import git
 
 from modules import paths, shared
+from modules.paths_internal import extensions_dir, extensions_builtin_dir
 
 extensions = []