Man pages matching name phpabtpl in section 1:

phpabtpl.1.en

debian 12 / pkg-php-tools