Strings documentation regarding backslash

ref: https://www.php.net/manual/en/language.types.string.php

The description under “Single quoted” says, “To specify a literal backslash, double it (\);” however, in the example we see...

// Outputs: You deleted C:\*.*?
echo 'You deleted C:\*.*?';

... so it seems it is not necessary to double the backslash. Should the instruction for doubling a literal backslash be removed from this section? Alternately, it could be clarified to state that doubling the backslash is optional, and either a single or double backslash will result in a single backslash.

In the “Double quoted” section we see, “As in single quoted strings, escaping any other character will result in the backslash being printed too.” This statement references a table of escaped characters that applies to double quoted strings, but not single quoted strings. I would cut the phrase “As in single quoted strings...” to avoid leading people to think that the table has anything to do with single quoted strings. It's clear enough to say, “Escaping any other character will result in the backslash being printed.”

Read the Single quoted and Double quoted sections of the PHP language.types.string documentation linked in the issue, comparing their wording with the examples and escape-character table. Clarify the backslash behavior and remove the misleading cross-reference, then verify that the revised text matches PHP's documented string behavior.