add ability to create extensions that add localizations

2025-08-04 03:10:21 +00:00 · 2022-11-06 09:02:25 +03:00
parent ea5b90b3b3
commit a2a1a2f727
6 changed files with 14 additions and 9 deletions
--- a/javascript/ui.js
+++ b/javascript/ui.js
@@ -208,4 +208,6 @@ function update_token_counter(button_id) {
 function restart_reload(){
    document.body.innerHTML='<h1 style="font-family:monospace;margin-top:20%;color:lightgray;text-align:center;">Reloading...</h1>';
    setTimeout(function(){location.reload()},2000)
+
+    return []
 }