MediaWiki:Gadget-DeveloperEditorTweaks

Editor enhancements for script developers