007+ PHP Warning: PHP Startup: readline: Unable to initialize module
008+ Module compiled with build ID=API20170718,TS
009+ PHP compiled with build ID=API20170718,TS,debug
010+ These options need to match
011+ in Unknown on line 0
007- [Script ended normally]
008- prompt> [Breakpoint #0 at Standard input code:3, hits: 1]
009- >00003: echo "Hello, world!\n";
010- 00004:
011- prompt>
012+
013+ Warning: PHP Startup: readline: Unable to initialize module
014+ Module compiled with build ID=API20170718,TS
015+ PHP compiled with build ID=API20170718,TS,debug
016+ These options need to match
017+ in Unknown on line 0
018+ [Script ended normally]
019+ prompt> [Breakpoint #0 at Standard input code:3, hits: 1]
020+ >00003: echo "Hello, world!\n";
021+ 00004:
022+ prompt>
023+ Warning: PHP Startup: readline: Unable to initialize module
024+ Module compiled with build ID=API20170718,TS
025+ PHP compiled with build ID=API20170718,TS,debug
026+ These options need to match
027+ in Unknown on line 0