On 16/09/17 11:56, Tony Marston wrote:
""Christoph M. Becker"" wrote in message
news:7f14af9e-cd8c-3a73-e487-7219a7630...@gmx.de...
On 16.09.2017 at 11:16, Tony Marston wrote:
There is no such thing as "Pissed with a capital 'P' means drunk" and
"pissed with a lowercase 'p' means unhappy".
On 17.09.2017 at 15:45, Christoph M. Becker wrote:
> On 17.09.2017 at 14:37, Rowan Collins wrote:
>
>> That makes much more sense, but doesn't answer the other question, of if
>> there's a working definition of what we mean by "case insensitive".
>
> For case-insensitive constants zend_register
On 17/09/17 11:53, Rowan Collins wrote:
> On 17 September 2017 09:54:54 BST, Lester Caine wrote:
>> Just what character set is PHP7
>> designed
>> to work with.
>
> Focusing on the answerable part of this, PHP actually allows a very wide
> variety of characters in identifiers (names of variables
On 17.09.2017 at 14:37, Rowan Collins wrote:
> That makes much more sense, but doesn't answer the other question, of if
> there's a working definition of what we mean by "case insensitive".
For case-insensitive constants zend_register_constant() uses
zend_str_tolower_copy() which uses zend_tolow
On 17 September 2017 13:18:44 BST, "Christoph M. Becker"
wrote:
>On 17.09.2017 at 12:53, Rowan Collins wrote:
>
>> I checked the PHP lang-spec repo expecting to find a set of Unicode
>classes, but it currently mentions "U+0080-U+00FF":
>https://github.com/php/php-langspec/blob/master/spec/09-lexi
On 17.09.2017 at 12:53, Rowan Collins wrote:
> I checked the PHP lang-spec repo expecting to find a set of Unicode classes,
> but it currently mentions "U+0080-U+00FF":
> https://github.com/php/php-langspec/blob/master/spec/09-lexical-structure.md#names
> That seems wrong to me, unless I'm look
On 17 September 2017 09:54:54 BST, Lester Caine wrote:
> Just what character set is PHP7
>designed
>to work with.
Focusing on the answerable part of this, PHP actually allows a very wide
variety of characters in identifiers (names of variables, classes, functions,
etc).
I checked the PHP lang-
It's a question I've asked before, but there still does not seem to be a
proper answer ... just where is PHP in relation to unicode? The thread
on 'case-insensitive constants' cherry picks a particular aspect without
picking up on the base problem? Just what character set is PHP7 designed
to work w
