Thread:Project:Support desk/Mediawiki.org Editor feature - add on, extension? (how to?)