Filename: //usr/share/php8.1-readline/readline/readline.ini

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

./Ninja\.