= 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