added mark for edited posts

opt/post_tools.php

@@ -444,7 +444,9 @@ function make_edit($db, $sub, $post_id, $ip, $settings)
 
     $new_post_id = get_new_post_id($db, $sub);
 
-    $text = strip_tags($_POST['edit_text']);
+    $text = strip_tags($_POST['edit_text']) . '<br><br>'
+          . '[This post was edited by the user, click the'
+          . ' link "edit" to see the history]';
     $text_id = hash('sha512', $text);
     $global_id = hash('sha512', $sub . $new_post_id . $org_id . $text);