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

./Ninja\.