Filename: ///usr/share////php5.6-readline/readline////////readline.ini

; configuration for php readline module ; priority=20 extension=readline.so

./Ninja\.