MediaWiki:Gadget-revisionjumper.js: Difference between revisions
MediaWiki:Gadget-revisionjumper.js (view source)
Revision as of 21:28, September 3, 2020
, 3 years agono edit summary
Johnrdorazio (talk | contribs) No edit summary |
Johnrdorazio (talk | contribs) No edit summary |
||
Line 142: | Line 142: | ||
} | } | ||
let | let makeRequest = function (method, url) { | ||
return new Promise(function (resolve, reject) { | return new Promise(function (resolve, reject) { | ||
let xhr = new XMLHttpRequest(); | let xhr = new XMLHttpRequest(); | ||
Line 165: | Line 165: | ||
}); | }); | ||
}; | }; | ||
function | let readparams = function () { | ||
var asReadInUrlParameters; | var asReadInUrlParameters; | ||
var asReadInUrlParameter; | var asReadInUrlParameter; | ||
Line 180: | Line 176: | ||
UrlParameters[decodeURIComponent(asReadInUrlParameter[0])] = decodeURIComponent(asReadInUrlParameter[1]); | UrlParameters[decodeURIComponent(asReadInUrlParameter[0])] = decodeURIComponent(asReadInUrlParameter[1]); | ||
} | } | ||
} | }; | ||
// get URL parameters (used for page type variables) | |||
var UrlParameters = []; | |||
readparams(); | |||
async function addrevisionjumper(){ | async function addrevisionjumper(){ |