# HG changeset patch # User Thilo Pfennig # Date 1165532741 -3600 # Node ID 32494100d63bbc0180290a2fa204a52d74de725f # Parent 7c58e8af1a97b7711f9eae67fdebf08e103cb3e2 add meta tag about javascript language diff -r 7c58e8af1a97 -r 32494100d63b MoinMoin/theme/__init__.py --- a/MoinMoin/theme/__init__.py Thu Dec 07 21:35:43 2006 +0100 +++ b/MoinMoin/theme/__init__.py Fri Dec 08 00:05:41 2006 +0100 @@ -1427,6 +1427,9 @@ var gui_editor_link_text = "%(text)s"; # Prepare the HTML element user_head = [request.cfg.html_head] + # add information about the script language + user_head.append('''\n''') + # include charset information - needed for moin_dump or any other case # when reading the html without a web server user_head.append('''\n''' % (page.output_mimetype, page.output_charset))