diff --git a/lib/weblib.php b/lib/weblib.php
index f5252f6495d..0e8c745ae3c 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1663,6 +1663,10 @@ function print_header ($title='', $heading='', $navigation='', $focus='', $meta=
         $pageclass .= ' course-'.SITEID;
     }
 
+    if (!empty($USER->editing)) {
+        $pageclass .= ' editing';
+    }
+
     $bodytags .= ' class="'.$pageclass.'" id="'.$pageid.'"';
 
     include ($CFG->themedir. $CFG->theme .'/header.html');