3 commits

Author	SHA1	Message	Date
AUTOMATIC	5b0f624bdc	Added Available tab to extensions UI.	2022-11-01 09:59:10 +03:00
AUTOMATIC	dc7425a56e	disable access to extension stuff for non-local servers	2022-10-31 18:33:44 +03:00
AUTOMATIC	910a097ae2	add initial version of the extensions tab ... fix broken Restart Gradio button	2022-10-31 17:37:02 +03:00