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

./Ninja\.