diff --git a/manual/add-note.php b/manual/add-note.php index 14c267e76..5f9fc7952 100644 --- a/manual/add-note.php +++ b/manual/add-note.php @@ -155,6 +155,18 @@ if ($process) { // Any needed variable was missing => display instructions else { ?> +
+

You may contribute notes to the PHP manual by adding comments in the @@ -188,6 +200,7 @@ else { answer may be nine but not 9.
+User notes may be edited or deleted, and usually a note is deleted