Docs: Notate `format_for_editor()` as the replacement function in the DocBlock for the deprecated `wp_richedit_pre()`.

Props rabmalin.
See #41121. Fixes #40709.


git-svn-id: https://develop.svn.wordpress.org/trunk@40949 602fd350-edb4-49c9-b593-d223f7449a82

src/wp-includes/deprecated.php

@@ -3533,7 +3533,8 @@ function preview_theme_ob_filter_callback( $matches ) {
  * be applied to an empty string.
  *
  * @since 2.0.0
- * @deprecated 4.3.0
+ * @deprecated 4.3.0 Use format_for_editor()
+ * @see format_for_editor()
  *
  * @param string $text The text to be formatted.
  * @return string The formatted text after filter is applied.