Rename 'HTML 5' to 'HTML5'

Looks better in the browser and at other places like Mozilla or Wikipedia its also called 'HTML5'.
moinwiki · Feb 9, 2024 · 43982fe · 43982fe
1 parent 5646509
commit 43982fe
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/admin/configure.rst b/docs/admin/configure.rst
@@ -258,7 +258,7 @@ macros to show something else::
     {{ sep }}
     {{ credit('https://moinmo.in/GPL', 'GPL licensed', 'MoinMoin is GPL licensed.') }}
     {{ sep }}
-    {{ credit('https://validator.w3.org/check?uri=referer', 'Valid HTML 5', 'Click here to validate this page.') }}
+    {{ credit('https://validator.w3.org/check?uri=referer', 'Valid HTML5', 'Click here to validate this page.') }}
     {{ end }}
     {% endmacro %}
 

diff --git a/src/moin/templates/snippets.html b/src/moin/templates/snippets.html
@@ -74,7 +74,7 @@
     {{ sep }}
     {{ credit('https://moinmo.in/GPL', 'GPL licensed', 'MoinMoin is GPL licensed.') }}
     {{ sep }}
-    {{ credit('http://validator.w3.org/check?uri=referer', 'Valid HTML 5', 'Click here to validate this page.') }}
+    {{ credit('http://validator.w3.org/check?uri=referer', 'Valid HTML5', 'Click here to validate this page.') }}
     {{ end }}
 {% endmacro %}