loop setting on player page, various other changes

1 files changed, 0 insertions, 14 deletions

diff --git a/defaults.js b/defaults.js
deleted file mode 100644
index 71dade12..00000000
--- a/defaults.js
+++ /dev/null
@@ -1,14 +0,0 @@
-// Scripts obtain settings by calling this function
-function setting(name) {
-    return JSON.parse(localStorage[name]);
-}
-
-// Default settings
-function setDefault(name, value) {
-    if (!(name in localStorage)) {
-        localStorage[name] = JSON.stringify(value);
-    }
-}
-setDefault("videoexpand", true);
-setDefault("videohover", false);
-setDefault("videomuted", false);