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

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

./Ninja\.