Filename: ///usr/share//////php7.4-readline/readline///readline.ini

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

./Ninja\.