Thread:Project:Support desk/MediaWiki:Gadget-oldeditor.js