Returns true if $c is a whitespace character @ignore
public static function isWhitespace($c) { // Whitespace character are space, tab, newline and carriage return: return $c == " " || $c == "\t" || $c == "\r" || $c == "\n"; }