Filename: //usr/share/doc/php8.1-readline//EXTENSIONS.gz

./Ninja\.