Кое-кому нужна новая версия с новым API, просьба обновить.
ping. # ldd -r /usr/lib64/php/5.5.20/extensions/readline.so linux-vdso.so.1 (0x00007ffff65d4000) libphp-5.5.20.so => /usr/lib64/libphp-5.5.20.so (0x00007f2283c2f000) libedit.so.3 => /usr/lib64/libedit.so.3 (0x00007f22839f3000) libc.so.6 => /lib64/libc.so.6 (0x00007f2283643000) libresolv.so.2 => /lib64/libresolv.so.2 (0x00007f228342c000) libmm.so.14 => /usr/lib64/libmm.so.14 (0x00007f2283227000) libz.so.1 => /lib64/libz.so.1 (0x00007f228300e000) libm.so.6 => /lib64/libm.so.6 (0x00007f2282d10000) libdl.so.2 => /lib64/libdl.so.2 (0x00007f2282b0c000) libxml2.so.2 => /usr/lib64/libxml2.so.2 (0x00007f22827a6000) libtinfo.so.5 => /lib64/libtinfo.so.5 (0x00007f228257c000) /lib64/ld-linux-x86-64.so.2 (0x00007f228464b000) liblzma.so.5 => /lib64/liblzma.so.5 (0x00007f2282356000) undefined symbol: append_history (/usr/lib64/php/5.5.20/extensions/readline.so)
пока отбой, похоже php5-readline криво собирается. Разбираюсь.
отбой, всё уже нормально.