On Wed, 2014-07-23 at 17:08 +0400, Dmitry Saprykin wrote: > Yes, you are right. append_history is not suitable for libedit. I left > write_history call for libedit.
Committed and pushed in a slightly modified form (variable declarations should be on top of a block) http://git.php.net/?p=php-src.git;a=commitdiff;h=d491b2f916d061666d9ff1cb5bdc484961b82db0 johannes -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
