https://www.mediawiki.org/wiki/Extension:Moderation
The Moderation extension was reviewed in August 2018 and deployed to some Wikis.
https://phabricator.miraheze.org/T1531
Please make it available via the ManageWikiExtensions interface.
Note it was briefly added and removed before, before the extension was reviewed.
https://phabricator.miraheze.org/R9:8886b6d2407887529e187be659889ae9a4e25007
https://phabricator.miraheze.org/R9:64cbed9ee6c6bfbf390f6d6f1e55482e305f82af