StarCitizenTools/mediawiki-skins-Citizen
1
0
Fork 0
mirror of https://github.com/StarCitizenTools/mediawiki-skins-Citizen.git synced 2024-11-29 00:31:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Attempt to convert to ES5

Browse source
This commit is contained in:
alistair3149 2020-02-15 18:06:01 -05:00
parent 0168abc686 8c7950020f
commit 6985bf6f10
No known key found for this signature in database
GPG key ID: 94D081060FD3DD9C
1 changed files with 18 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
resources/scripts/toc.js
View file

@ -6,15 +6,15 @@
*/ */
function SmoothScroll() { function SmoothScroll() {
var navLinks, eventListener, link; var navLinks, eventListener, link;
if (!("scrollBehavior" in document.documentElement.style)) { if (!("scrollBehavior" in document.documentElement.style)) {
navLinks = document.querySelectorAll("#toc a"); navLinks = document.querySelectorAll("#toc a");
eventListener = function eventListener(e) { eventListener = function eventListener(e) {
e.preventDefault(); e.preventDefault();
e.target.scrollIntoView({ e.target.scrollIntoView({
behavior: "smooth" behavior: "smooth"
}); });
}; };
for (link in navLinks) { for (link in navLinks) {
if (Object.prototype.hasOwnProperty.call(navLinks, link)) { if (Object.prototype.hasOwnProperty.call(navLinks, link)) {
@ -30,15 +30,15 @@ function ScrollSpy() {
var scrollPos = document.documentElement.scrollTop || document.body.scrollTop, var scrollPos = document.documentElement.scrollTop || document.body.scrollTop,
section, id; section, id;
for (section in sections) { for (section in sections) {
if ( if (
Object.prototype.hasOwnProperty.call(sections, section) && Object.prototype.hasOwnProperty.call(sections, section) &&
sections[section].offsetTop <= scrollPos sections[section].offsetTop <= scrollPos
) { ) {
id = mw.util.escapeIdForAttribute(sections[section].id), id = mw.util.escapeIdForAttribute(sections[section].id),
node = document.querySelector('a[href * = "'.concat(id, '"]')) node = document.querySelector('a[href * = "'.concat(id, '"]'))
.parentNode, .parentNode,
active = document.querySelector(".active"); active = document.querySelector(".active");
if (active !== null) { if (active !== null) {
active.classList.remove("active"); active.classList.remove("active");
} }