public static function strip_whitespace($tokens) { foreach ($tokens as $_) { if ($_[0] !== T_WHITESPACE) { $ret[] = $_; } } return empty($ret) ? $tokens : $ret; }