search

php / doc-base

Tools for the PHP documentation
Other
343 stars 85 forks source link

Generate `<type>int</type>` instead of `integer` #44

Closed TysonAndre closed 3 years ago

TysonAndre commented 3 years ago

And trim trailing whitespace

Mentioned in https://github.com/php/doc-en/pull/885#discussion_r697786840

salathe commented 3 years ago

Note, this change only affects ini.xml (that much wasn't clear to me from the PR, commit log, nor commit diff at first glance).

Docgen will still generate <type>integer</type> elsewhere due to the use of gettype(); including the specific case mentioned in https://github.com/php/doc-en/pull/885#discussion_r697786840 for the extension's constants page.