Title: RE: [PHP-DOC] Re: ID change in docs
>> Hotsjy and Damien.
>
>Hojtsy it is, sorry! (why didn't your parents call you 'Joe' ;-)...
Heh :) Hojtsy is actually my family name. My given name
is Gabor (Gabriel in English). In Hungary, we write our names
in family
> Hotsjy and Damien.
Hojtsy it is, sorry! (why didn't your parents call you 'Joe' ;-)...
Regards,
Jeroen
> Why? And why do you change it a minute after your announcement?
And on the why, because the type is 'float', and not 'double'.
PHP has no distinct floating point types, so 'float' is the one and only
right name for it. I discussed this with Zeev, and he agreed on that point.
And also: Double r
I announced this on phpdoc AND php-mirrors two days ago, and on phpdoc once
again yesterday. (with in the subject:
important for translators!)
There was no discussion on it for 50 hours, only positive agreement from
Hotsjy and Damien.
Jeroen
- Original Message -
From: <[EMAIL PROTECTED]>
