Re: [Wikitech-l] Is it possible to change the locale of a scribunto module and have identifiers with locale characters

2017-09-29 Thread Brad Jorsch (Anomie)
On Fri, Sep 29, 2017 at 6:48 AM, mathieu stumpf guntz < psychosl...@culture-libre.org> wrote: > By the way is there an official policy or whatever document regarding > Scribunto evolutions? > Not that I know of. The biggest technical blocker to having Scribunto use a newer version of Lua is that

Re: [Wikitech-l] Is it possible to change the locale of a scribunto module and have identifiers with locale characters

2017-09-29 Thread mathieu stumpf guntz
Le 28/09/2017 à 16:25, Brad Jorsch (Anomie) a écrit : On Thu, Sep 28, 2017 at 5:19 AM, mathieu stumpf guntz < psychosl...@culture-libre.org> wrote: According to lua wiki , in Lua 5.1 "identifiers [are] locale dependent, and from the

Re: [Wikitech-l] Is it possible to change the locale of a scribunto module and have identifiers with locale characters

2017-09-28 Thread Brad Jorsch (Anomie)
On Thu, Sep 28, 2017 at 5:19 AM, mathieu stumpf guntz < psychosl...@culture-libre.org> wrote: > According to lua wiki Locales%20In%20Lua%205.1>, in Lua 5.1 "identifiers [are] locale > dependent, and from the reference manual which states that "[the >

[Wikitech-l] Is it possible to change the locale of a scribunto module and have identifiers with locale characters

2017-09-28 Thread mathieu stumpf guntz
Hello everybody, According to lua wiki , in Lua 5.1 "identifiers [are] locale dependent, and from the reference manual which states that "[the documentation] derived from the Lua 5.1 reference manual