From c5431f8858c957f13f2ac1bf166bc2a5b0a4bf2a Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Wed, 16 Nov 2005 22:54:30 +0000
Subject: [PATCH] Fixed bug #4038 encoding problems when grading

---
 mod/assignment/lib.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/mod/assignment/lib.php b/mod/assignment/lib.php
index 32ec8024767..9403653520b 100644
--- a/mod/assignment/lib.php
+++ b/mod/assignment/lib.php
@@ -456,6 +456,8 @@ class assignment_base {
         switch ($mode) {
             case 'grade':                         // We are in a popup window grading
                 if ($submission = $this->process_feedback()) {
+                    //IE needs proper header with encoding
+                    print_header(get_string('feedback', 'assignment').':'.format_string($this->assignment->name));
                     print_heading(get_string('changessaved'));
                     $this->update_main_listing($submission);
                 }