https://www.mediawiki.org/wiki/Extension:WikiSpeller
Extension:WikiSpeller - MediaWiki
extensionmediawiki
https://lists.wikimedia.org/hyperkitty/list/mediawiki-l@lists.wikimedia.org/thread/URE4ZYTCYWVPBCF2YEWQVXR4IEBWW63T/
WikiSpeller - MediaWiki-l - lists.wikimedia.org
mediawikilwikimedia