Board Thread:Support Requests - Designing Your Wiki/@comment-34155587-20180330144750/@comment-9605025-20180330170035

To clarify, you did call it the correct thing. The main MediaWiki extension is called Achievements (even though what you get are called badges).