haszi

> Can you merge the last commit with the first one in a rebase, and force push so that I can merge the PR with a rebase? Done. I've also...

Maybe we can convert some of the tooling (e.g. `doc-base`'s `configure.php`) to use [`DOMDocument::relaxNGValidate()`](https://www.php.net/manual/en/domdocument.relaxngvalidate.php) to switch from DTD to RelaxNG schema validation. Do you think that could work?

> * [ ] Rewrite the "Edited-by" section of the documentation Do https://github.com/php/doc-en/pull/3467 and https://github.com/php/doc-en/pull/3468 address this in part or whole?

> * [ ] Implement a support policy for what PHP versions the documentation covers and for how long This item is addressed by the following PR: https://github.com/php/doc-en/pull/3700

Could someone remove the below four PostgreSQL constants from this list as the [PR adding them was reverted](https://github.com/php/php-src/pull/12735)? PGSQL_PIPELINE_SYNC PGSQL_PIPELINE_ON PGSQL_PIPELINE_OFF PGSQL_PIPELINE_ABORTED

@kocsismate There is now a PR for each of the constants on the original list (see [this gist](https://gist.github.com/haszi/a8b7960a56391deb06d58fc1e6f8d190) for the PRs) with only three of them still open (https://github.com/php/doc-en/pull/3513, https://github.com/php/doc-en/pull/3636...

I've just realized that this change will only become relevant once PHP 8.4 comes out. Sorry for the noise.

@shivammathur Thanks for the explanation. Maybe a pre-commit hook wasn't a good idea for this problem after all. I think there is a way to achieve the same thing in...

I've discussed the adding of new commits instead of amending commits with Girgias and the `fileModHistory.php` file would probably have to be in a dedicated repo so as not to...

@shivammathur I've tested the workflow and it works like a charm. I had to add ```yaml with: fetch-depth: 0 ``` under the "Checkout documentation" step to make my script work...