Thread:Extension talk:MobileFrontend/Device Detection broken

I am getting a

PHP Fatal error: Call to undefined method DeviceDetection::formatName in /var/www/mediawiki2/extensions/Mobile-Frontend/MobileFrontend.body.php on line 414

which is weird, because the code should be properly loaded.

DeviceDetection.php gets properly loaded. So what could be wrong here?