MediaWiki:Gadget-charinsert-core.js: Difference between revisions