Manual:$wgHtml5Version

Details
Defines the value of the version attribute in the &lt;html&gt; tag, if any. Will be initialized later if not set explicitly.