add a version attribute to the <html> tag if RDFa is used with HTML5

[lhc/web/wiklou.git] / includes / DefaultSettings.php
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php

index d7b3a7c..80b9a89 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -914,6 +914,12 @@ $wgXhtmlDefaultNamespace = 'http://www.w3.org/1999/xhtml';
   */
  $wgHtml5 = true;
  
+/**
+ * Defines the value of the version attribute in the &lt;html&gt; tag, if any.
+ * Will be initialized later if not set explicitly.
+ */
+$wgHtml5Version = null;
+
  /**
   * Enabled RDFa attributes for use in wikitext.
   */