// ==UserScript==
// @name         Disable Wikidot Editor Lock Timer
// @namespace    http://tampermonkey.net/
// @version      1.0
// @description  This script disables the 15 minutes editor lock timer
// @author       SBlake
// @include        *.wikidot.com/*
// @include        *.scp-wiki.net/*
// @grant        none
// @downloadURL none
// ==/UserScript==

document.querySelector("#edit-button").onclick = function() {
    setTimeout(() => {
        WIKIDOT.modules.PageEditModule.utils.timerSetTimeLeft = function(a){
            WIKIDOT.modules.PageEditModule.vars.lockExpire = Infinity
        };
        WIKIDOT.modules.PageEditModule.vars.lockExpire = Infinity
    },1500);
};