class Escaper

{

// Characters that would cause a dumped string to require double quoting.

// Mapping arrays for escaping a double quoted string. The backslash is

// first to ensure proper escaping because str_replace operates iteratively

"\x08", "\x09", "\x0a", "\x0b", "\x0c", "\x0d", "\x0e", "\x0f",

"\x10", "\x11", "\x12", "\x13", "\x14", "\x15", "\x16", "\x17",

"\x18", "\x19", "\x1a", "\x1b", "\x1c", "\x1d", "\x1e", "\x1f",

"\xc2\x85", "\xc2\xa0", "\xe2\x80\xa8", "\xe2\x80\xa9",

];

private static $escaped = ['\\\\', '\\"', '\\\\', '\\"',

'\\0', '\\x01', '\\x02', '\\x03', '\\x04', '\\x05', '\\x06', '\\a',

'\\b', '\\t', '\\n', '\\v', '\\f', '\\r', '\\x0e', '\\x0f',

'\\x10', '\\x11', '\\x12', '\\x13', '\\x14', '\\x15', '\\x16', '\\x17',

'\\x18', '\\x19', '\\x1a', '\\e', '\\x1c', '\\x1d', '\\x1e', '\\x1f',

'\\N', '\\_', '\\L', '\\P',

];