From 5e594685e1f86ffaf4b10d6ca7f11742daca4a84 Mon Sep 17 00:00:00 2001 From: e52fa787 <31095594+e52fa787@users.noreply.github.com> Date: Fri, 17 May 2024 23:25:56 +0800 Subject: [PATCH] fix: do not close meta tag in HTML header (#2740) * fixed typo in HTML (extra tag) * refactor: remove closing slash for meta tag as of specification in https://html.com/tags/meta/, meta tagas are null elements: This element must not contain any content, and does not need a closing tag. --------- Co-authored-by: Manuel Schmid <9307310+mashb1t@users.noreply.github.com> --- modules/ui_gradio_extensions.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/ui_gradio_extensions.py b/modules/ui_gradio_extensions.py index bebf9f8c..409c7e33 100644 --- a/modules/ui_gradio_extensions.py +++ b/modules/ui_gradio_extensions.py @@ -39,7 +39,7 @@ def javascript_html(): head += f'\n' head += f'\n' head += f'\n' - head += f'\n' + head += f'\n' if args_manager.args.theme: head += f'\n'