Content deleted Content added
mNo edit summary |
mNo edit summary |
||
Line 5:
if(mw.config.get("wgAction") !== "edit") return;
const debug =
if(debug) console.log("Running");
Line 12:
window.rc_refs = [];
if(document.onkeyup !==
{
var original = document.onkeyup;
if(e.ctrlKey && e.altKey && e.which == 82)▼
document.onkeyup = function(e)
{
original();
if(debug) console.log("Activate");▼
▲ if(e.ctrlKey && e.altKey && e.which == 82)
if(window.rc_refsCrunched)▼
{
window.rc_refsCrunched = false;▼
}▼
else▼
{▼
crunchRefs();▼
window.rc_refsCrunched = true;▼
}
};
}
function run()
{
uncrunchRefs();
}
{
}
}
function crunchRefs()
|