[php-src] PR #23486: Update paths for RM docs
| From: | NattyNarwhal | Date: | Fri, 28 Aug 2026 20:11:49 +0000 |
| Subject: | [php-src] PR #23486: Update paths for RM docs | ||
| Groups: | php.git-pulls | ||
| Request: | Send a blank email to git-pulls+get-38182@lists.php.net to get a copy of this message | ||
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.