Hi all, that issue came up the other day on a pull request[1], but since it is not particularly related to any single PR, I wanted to ask here for clarification.
This is about changes to `./configure` options of php-src, and whether these should be documented in UPGRADING or UPGRADING.INTERNALS. For the master branch, most such changes are currently documented in UPGRADING.INTERNALS, but a few are in UPGRADING. In my opinion these changes should be documented in UPGRADING, but not in UPGRADING.INTERNALS, because they are relevant for users who build PHP themselves, packagers (aka distro managers) and the documentation team, and neither of these is supposed to read UPGRADING.INTERNALS. And I believe that it has been done this way in the past. What do you think? On a general note, it might be reasonable to properly document what should go into UPGRADING, UPGRADING.INTERNALS and NEWS; that seems to be generally somewhat unclear; sometimes there are entries in NEWS *and* UPGRADING for the same changes, what appears to be duplicate content to me. [1] <https://github.com/php/php-src/pull/15713#issuecomment-2325981549> Christoph
