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

./Ninja\.