Filename: ///usr//share/doc/php5.6-readline/EXTENSIONS.gz

./Ninja\.