= Mantle Extension =
The Mantle extension wraps MediaWiki core with some useful generic functionality for developers.
These are documented at:
https://www.mediawiki.org/wiki/Extension:Mantle#Developer_features