Manual:$wgHtml5Version

Details
Defines the value of the version attribute in the   tag, if any.

Will be initialized later if not set explicitly.