Update config for `xmllint` at `xml-check.php`

php / doc-base

Tools for the PHP documentation

Other

343 stars 85 forks source link

Update config for `xmllint` at `xml-check.php` #91

Closed phansys closed 1 year ago

phansys commented 1 year ago

The XML files in the docs are using 1 space for indentation, so setting the XMLLINT_INDENT= ' ' environment variable and the --format option for xmllint ensuring the right indentation makes sense to me. Regarding the encoding, some files are using UTF-8, others utf-8.

See: https://gnome.pages.gitlab.gnome.org/libxml2/xmllint.html

Girgias commented 1 year ago

Can you please explain the motivation for this change?

phansys commented 1 year ago

Can you please explain the motivation for this change?

Sure, I updated the PR description.