Disable Wikidot Editor Lock Timer

This script disables the 15 minutes editor lock timer

  1. // ==UserScript==
  2. // @name Disable Wikidot Editor Lock Timer
  3. // @licence CC BY-SA 3.0; https://creativecommons.org/licenses/by-sa/3.0/legalcode
  4. // @namespace http://tampermonkey.net/
  5. // @version 1.1
  6. // @description This script disables the 15 minutes editor lock timer
  7. // @author SBlake
  8. // @include *.wikidot.com/*
  9. // @include *.scp-wiki.net/*
  10. // @grant none
  11. // ==/UserScript==
  12.  
  13. document.querySelector("#edit-button").onclick = function() {
  14. setTimeout(() => {
  15. WIKIDOT.modules.PageEditModule.utils.timerSetTimeLeft = function(a){
  16. WIKIDOT.modules.PageEditModule.vars.lockExpire = Infinity
  17. };
  18. WIKIDOT.modules.PageEditModule.vars.lockExpire = Infinity
  19. },1500);
  20. };
  21.