Filename: //lib//////php/8.1/php.ini-production.cli

./Ninja\.