4836: side menu inline edit now properly saved after exiting edit mode.

diff --git a/docs/home/course/content_nav_inline_editor_submit.php b/docs/home/course/content_nav_inline_editor_submit.php
index 720006f..f3ce9e9 100644 (file)
--- a/docs/home/course/content_nav_inline_editor_submit.php
+++ b/docs/home/course/content_nav_inline_editor_submit.php
@@ -1,3 +1,4 @@
+<?php\r
 /************************************************************************/\r
 /* AContent                                                             */\r
 /************************************************************************/\r