diff options
Diffstat (limited to 'playersettings.js')
| -rw-r--r-- | playersettings.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/playersettings.js b/playersettings.js index 8d9a8d20..861d27c2 100644 --- a/playersettings.js +++ b/playersettings.js @@ -1,3 +1,4 @@ +/* This file is dedicated to the public domain; you may do as you wish with it. */ if (window.addEventListener) window.addEventListener("load", function(e) { document.getElementById("playerheader").appendChild(settingsMenu); |