Thread:User talk:Yair rand/MediaWiki:Gadget-FastRevert.js/reply

You're completely right on all points. I've changed the script to use the normal DOM methods instead of modifying innerHTML.

The replacement for  is.