On language/types/array.xml the basic type names are capitalized, as common words, even inside <type> tags.
The <type> tag is rendered as a normal text:

I would like to change these few places where capitalized type names occurs, or to remove the surrounding type tag (or to lower the names inside the tags) as PHP types are case sensitive. There are preferences in this case? Remove the tags or to lower, all this cases?
XML source:
|
<type>String</type>s containing valid decimal <type>int</type>s, unless the number is preceded by a <literal>+</literal> sign, will be cast to the |
On
language/types/array.xmlthe basic type names are capitalized, as common words, even inside<type>tags.The

<type>tag is rendered as a normal text:I would like to change these few places where capitalized type names occurs, or to remove the surrounding type tag (or to lower the names inside the tags) as PHP types are case sensitive. There are preferences in this case? Remove the tags or to lower, all this cases?
XML source:
doc-en/language/types/array.xml
Line 89 in a0fcdcb