[GIT-PULLS] [php-src] PR #23486: Update paths for RM docs
[email protected] (NattyNarwhal)
| Newsgroups | php.git-pulls |
|---|---|
| Message-ID | <[email protected]> |
Pull Request: https://github.com/php/php-src/pull/23486 Author: NattyNarwhal After php/web-php@b24d3106d45cc39e34ae0055386a1ae387019a20, the paths to some files changes. After php/web-php#1998 is merged to fix the tools that generate these files, this should be merged as well.