Content deleted Content added
mNo edit summary |
mNo edit summary |
||
Line 4:
{
if(mw.config.get("wgAction") !== "edit") return;
window.rc_refsCrunched = false;
Line 16 ⟶ 14:
if(window.rc_refsCrunched)
{
uncrunchRefs();
Line 24 ⟶ 20:
else
{
crunchRefs();
Line 40 ⟶ 34:
var counter = 0;
text = text.replace(/<ref.*?>.*?<\/ref>/g, function(match)
{
console.log(match);
Line 48 ⟶ 42:
return `{ref#${counter++}}`;
});
txtarea.value = text;
Line 60 ⟶ 52:
var text = txtarea.value;
text = text.replace(/\{ref#(\d+)\}/g, function(match, p1)
{
console.log(match);
|