Extension:WikiSpeller/id

From mediawiki.org