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

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

./Ninja\.