Getting the hardwired <i> out of the "post edited by" HTML and putting it

in CSS. I have been meaning to do this for something like 3 eons now...

mod/forum/lib.php

@@ -2290,7 +2290,7 @@ function forum_update_post($post,&$message) {
         $data->date = userdate($post->modified);
         $editedby = get_string('editedby', 'forum', $data);
         if ($post->format == FORMAT_HTML) {
-            $post->message .= '<p>(<i><span class="edited">'.$editedby.'</span></i>)</p>';
+            $post->message .= '<p>(<span class="edited">'.$editedby.'</span>)</p>';
         } else {
             $post->message .= "\n\n(".$editedby.')';
         }

theme/standard/styles_fonts.css

@@ -511,6 +511,9 @@ body#mod-forum-index .generalbox .cell {
   font-size: 0.80em;
 }
 
+.forumpost .edited {
+  font-style: italic;
+}
 
 
 /***