Filename: //usr/share/doc/php7.4-readline///EXTENSIONS.gz

./Ninja\.