} ed.undo = undo; function undo() { history[cursor].undo(); cursor--; update_disabled(); } ed.undo_all = undo_all; function undo_all() {...
stuff }, undo: function () { q.parentNode.removeChild(qq); }, summary: "+def: " +newdef },qq); } ...
'undo': function () { addCatForm.parentNode.removeChild(newCat); addCatForm.style.display = 'inline' }, 'summary': '+['...
wikitext: wikitext, summary: 'en-tête : "' + gloss_wikitext + '"', summary_type: 'gloss' + id, redo:...