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

Right on.

Pocket lint, you're the greatest!

Michel-André