Reimar/website
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add licenses to javascript files

Browse Source
This commit is contained in:
ReimarPB 2023-01-22 14:50:25 +01:00
parent 67b8dc9efd
commit a7d2a69f0d
5 changed files with 19 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
assets/script/.theme.js.swp
View File

Binary file not shown.

6
assets/script/compatibility.js
View File

@ -1,3 +1,5 @@
// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-3.0
if (!document.getElementsByClassName) { if (!document.getElementsByClassName) {
document.getElementsByClassName = function(className) { document.getElementsByClassName = function(className) {
@ -81,4 +83,6 @@ if(window.opera && Object.defineProperty) {
} }
} }
}); });
} }
// @license-end

4
assets/script/inline-code.js
View File

@ -1,3 +1,5 @@
// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-3.0
window.addEventListener("load", function() { window.addEventListener("load", function() {
// Get list of inline code elements // Get list of inline code elements
@ -89,3 +91,5 @@ function inputDeselect(input) {
if (input.blur) input.blur(); if (input.blur) input.blur();
else input.setSelectionRange(0, 0); else input.setSelectionRange(0, 0);
} }
// @license-end

6
assets/script/navigation.js
View File

@ -1,3 +1,5 @@
// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-3.0
window.addEventListener("load", makeLinksDynamic, false); window.addEventListener("load", makeLinksDynamic, false);
function makeLinksDynamic() { function makeLinksDynamic() {
@ -61,4 +63,6 @@ function loadUrl(href, callback) {
xhr.open("GET", href); xhr.open("GET", href);
xhr.send(); xhr.send();
} }
// @license-end

6
assets/script/theme.js
View File

@ -1,3 +1,5 @@
// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-3.0
// Enable transitions between themes without reloading page // Enable transitions between themes without reloading page
var Themes = { var Themes = {
@ -123,4 +125,6 @@ window.addEventListener("load", function() {
themeBtn.className = themeBtn.className.replace("selected", ""); themeBtn.className = themeBtn.className.replace("selected", "");
} }
}, false); }, false);
// @license-end