Fix phpdbg local console mode when using libedit/readline#13199

petk wants to merge 1 commit intophp:masterphp/php-src:masterfrom

petk:patch-phpdbg-local-consolepetk/php-src:patch-phpdbg-local-consoleCopy head branch name to clipboard