Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  4899d5ba18e74a346c8eb8afd2a3cf06c71b4fb9

$wgHtml5 is deprecated

* Also includes minor code fix up to use intval

Change-Id: I6d3d51da0479ae79a059a1c75edd93e6e3f47a69