$wgHtml5 is deprecated

* Also includes minor code fix up to use intval

Change-Id: I6d3d51da0479ae79a059a1c75edd93e6e3f47a69
Merge "$wgHtml5 is deprecated"