003+ PHP Warning: PHP Startup: readline: Unable to initialize module
004+ Module compiled with build ID=API20170718,TS
005+ PHP compiled with build ID=API20170718,TS,debug
006+ These options need to match
007+ in Unknown on line 0
008+
009+ Warning: PHP Startup: readline: Unable to initialize module
010+ Module compiled with build ID=API20170718,TS
011+ PHP compiled with build ID=API20170718,TS,debug
012+ These options need to match
013+ in Unknown on line 0
014+ [Uncaught Error in %s/exceptions_001.php on line 16: Call to undefined function foo()]
015+ >00016: foo(); // Error
016+ 00017: } catch (\Exception $e) {
003- [Uncaught Error in %s on line 16: Call to undefined function foo()]
004- >00016: foo(); // Error
005- 00017: } catch (\Exception $e) {
006- 00018: var_dump($e);
007- prompt> frame #0: {closure}() at %s:16
008- frame #1: {main} at %s:22
009- prompt> 3
010- prompt> [Uncaught Error in %s on line 16]
011- Error: Call to undefined function foo() in %s:16
012- Stack trace:
013- #0 %s(22): {closure}()
014- #1 {main}
015- [Script ended normally]
016- prompt>
017+ 00018: var_dump($e);
018+ prompt> frame #0: {closure}() at %s/exceptions_001.php:16
019+ frame #1: {main} at %s/exceptions_001.php:22
020+ prompt> 3
021+ prompt> [Uncaught Error in %s/exceptions_001.php on line 16]
022+ Error: Call to undefined function foo() in %s/exceptions_001.php:16
023+ Stack trace:
024+ #0 %s/exceptions_001.php(22): {closure}()
025+ #1 {main}
026+ [Script ended normally]
027+ prompt>
028+ Warning: PHP Startup: readline: Unable to initialize module
029+ Module compiled with build ID=API20170718,TS
030+ PHP compiled with build ID=API20170718,TS,debug
031+ These options need to match
032+ in Unknown on line 0