Content deleted Content added
←Created page with '// Category:Wikipedia scripts // <nowiki> $(function() { if(mw.config.get("wgAction") !== "edit") return; window.rc_refsCrunched = false; window.rc_refs...' |
mNo edit summary |
||
Line 14:
if(window.rc_refsCrunched)
{
console.log("Uncrunching refs.");
uncrunchRefs();
Line 20 ⟶ 22:
else
{
console.log("Crunching refs.");
crunchRefs();
Line 50 ⟶ 54:
var text = txtarea.value;
text.replace(/\{ref#(\d+)\}/g, function(match, p1)
{
return window.rc_refs.pop(Number(p1));
| |||