/**
* Strip whitespace (or other characters) from the beginning and end of a string
* @see http://www.php.net/trim
*/
static function trim($str, $charlist = '')
{
if ($charlist == '') {
return trim($str);
}
return Jaws_UTF8::ltrim(Jaws_UTF8::rtrim($str));
}