The manual page for the PHP addcslashes() function gives the following example:
addcslashes($not_escaped, "\0..\37!@\177..\377");
to escape all ASCII characters between 0 and 31 (= 037 octal). A user suggests the following improvement:
addcslashes($not_escaped, "\0..\37!@\@\177..\377");
to "protect original, innocent backslashes from stripcslashes".
Is there any documentation for the format of the charlist parameter? Specifically, what is the interpretation of the !@ sequence in the first example, and the !@\@ sequence in the second?