Thread:Extension talk:Mantle/What extension have Mantle as a requirement?

I'm setting up a new environment and when running upgrade.php it said I needed to install Mantle. Does MobileFrontEnd now require Mantle? Should that be documented as such?