Man pages matching name pkg-php-tools in section 7:

pkg-php-tools.7.en	debian 10 / pkg-php-tools
pkg-php-tools.7.en	debian 11 / pkg-php-tools
pkg-php-tools.7.en	debian 12 / pkg-php-tools