Cleanup

2025-01-19 20:35:39 +01:00
parent 25461d9db6
commit fa9f23b3eb
14 changed files with 23 additions and 23 deletions
@@ -380,5 +380,5 @@ function on_text_hover() {
 ////
 type config_t = { server: string; };
 let config_raw: config_t;
-function strings_error5(): string { return ""; };
+function strings_check_internet_connection(): string { return ""; };
 function console_error(s: string) { };