xref: /php-src/ext/readline/readline.c (revision 7248d68d)

Error reading file