Content deleted Content added
mNo edit summary |
mNo edit summary |
||
Line 7:
window.rc_refsCrunched = false;
window.rc_refs = [];
const debug = false;
document.onkeyup = function(e)
Line 36 ⟶ 38:
text = text.replace(/(<ref.*?\/>)|(<ref.*?>(.|\s)*?<\/ref>)/g, function(match)
{
if(debug) console.log(match);
window.rc_refs.push(match);
Line 54 ⟶ 56:
text = text.replace(/\{ref#(\d+)\}/g, function(match, p1)
{
if(debug) console.log(match);
return window.rc_refs[Number(p1)];
|