PHP function to escape special characters in Json_PHP tutorial

'Lorem ipsum "dolor" sit amet, consectetur \ adipiscing elit.'

Lorem ipsum \"dolor\" sit amet,\nconsectetur \\ adipiscing elit.

# list from www.json.org: (\b backspace, \f formfeed)
public function escapeJsonString($value) { 
	$escapers = array("\\", "/", "\"", "\n", "\r", "\t", "\x08", "\x0c");
	$replacements = array("\\\\", "\\/", "\\\"", "\\n", "\\r", "\\t", "\\f", "\\b");
	$result = str_replace($escapers, $replacements, $value);
	return $result;
}