Misc::space_separated_tokens( string $string ): string[]

1924    public static function space_separated_tokens(string $string)1925    {1926        $space_characters = "\x20\x09\x0A\x0B\x0C\x0D";1927        $string_length = strlen($string);1928 1929        $position = strspn($string, $space_characters);1930        $tokens = [];1931 1932        while ($position < $string_length) {1933            $len = strcspn($string, $space_characters, $position);1934            $tokens[] = substr($string, $position, $len);1935            $position += $len;1936            $position += strspn($string, $space_characters, $position);1937        }1938 1939        return $tokens;1940    }