xref: /php-src/ext/readline/readline_cli.c (revision 8ddaf13e)

Error reading file