xref: /php-src/ext/readline/readline.stub.php (revision 5b5bfd6b)

Error reading file