readline 是需要扩展吗？

@ZeLingNing 手册 http://php.net/manual/zh/readline.installa...

Fatal error: Uncaught Error: Call to undefined function readline() in /root/just-for-fun-ai/ai.php:34
Stack trace:
#0 {main}
  thrown in /root/just-for-fun-ai/ai.php on line 34Copy

同 @ZeLingNing ，PHP7.2 centos7

@lovecn 要使用这些函数，你必须在编译 PHP 的 CGI 或者 CLI 版本时启用 readline 支持。你需要在编译配置 PHP 时使用 --with-readline [=DIR] 选项。如果你想使用 libedit 来代替 readline , 配置 PHP 时使用 --with-libedit [=DIR] 选项

@ZeLingNing @lovecn 要使用这些函数，你必须在编译 PHP 的 CGI 或者 CLI 版本时启用 readline 支持。你需要在编译配置 PHP 时使用 --with-readline [=DIR] 选项。如果你想使用 libedit 来代替 readline , 配置 PHP 时使用 --with-libedit [=DIR] 选项