Merge pull request #1117 from Jayd-Rubies/main

manyMoreThemes.js bug fix
This commit is contained in:
slweeb 2025-05-19 22:01:21 -04:00 committed by GitHub
commit 8af21e2829
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
if (!enabledMods.includes("mods/betterSettings.js")) { enabledMods.unshift("mods/betterSettings.js"); localStorage.setItem("enabledMods", JSON.stringify(enabledMods)); window.location.reload(); };
let setting = null
dependOn("betterSettings.js", () => {