Print character set based on user settings

author julmis <julmis>

Thu, 6 Nov 2003 12:25:32 +0000 (12:25 +0000)

committer julmis <julmis>

Thu, 6 Nov 2003 12:25:32 +0000 (12:25 +0000)
author julmis <julmis>
Thu, 6 Nov 2003 12:25:32 +0000 (12:25 +0000)
committer julmis <julmis>
Thu, 6 Nov 2003 12:25:32 +0000 (12:25 +0000)
diff --git a/lib/editor/popups/dlg_ins_char.php b/lib/editor/popups/dlg_ins_char.php

index 3572a4c880320ab13db7335536d23787147741a1..f47690a17decdd91e513cfe8eeb3137e7b6ab622 100644 (file)
--- a/lib/editor/popups/dlg_ins_char.php
+++ b/lib/editor/popups/dlg_ins_char.php
@@ -50,7 +50,7 @@
  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
  <html style="height: 270px;">
  <head>
-<meta http-equiv="content-type" content="text/html; charset=utf-8">
+<meta http-equiv="content-type" content="text/html; <?php print_string("thischarset");?>">
  <style type="text/css">
  body {
    background: ButtonFace;