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

./Ninja\.