$ 'Hallo Friedrichstraße'.contains('STRASSE', { ignoreCase: true })
true? false?
$ 'hello İzmir'.contains('İZMİR', { ignoreCase: true })
true? false?
In other words, should ignoreCase be based on Unicode upper case conversion,
lower case conversion, or case folding, with or without locale dependent rules?
I suspect any choice would surprise some people.
Norbert
On Aug 28, 2013, at 8:19 , Axel Rauschmayer <[email protected]> wrote:
> Suggestion: a named parameter `ignoreCase`:
>
> $ 'hello world'.contains('WORLD')
> false
>
> $ 'hello world'.contains('WORLD', { ignoreCase: true })
> true
>
> --
> Dr. Axel Rauschmayer
> [email protected]
>
> home: rauschma.de
> twitter: twitter.com/rauschma
> blog: 2ality.com
>
> _______________________________________________
> es-discuss mailing list
> [email protected]
> https://mail.mozilla.org/listinfo/es-discuss
_______________________________________________
es-discuss mailing list
[email protected]
https://mail.mozilla.org/listinfo/es-discuss
