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

Error reading file