doesn't work '/\f/' ); $replace = array( '\\\\\\', '\\"', '\\$', '\\t', '\\r', '\\n', // '\\b', '\\f', ); $string = preg_replace($special, $replace, $string); return '"' . $string . '"'; } // Requires an array of CustomVariable objects public static function renderArray($array) { $str = '[ ' . implode(', ', $array) . ' ]'; if (strlen($str) < 60) { return $str; } // Prefix for toConfigString? return "[\n " . implode(",\n ", $array) . "\n]"; } public static function isReserved($string) { return in_array($string, self::$reservedWords); } public static function escapeIfReserved($string) { if (self::isReserved($string)) { return '@' . $string; } else { return $string; } } }