xref: /php-src/ext/readline/readline.c (revision 01ed33d1)

Error reading file