Fix bug #67496 Save command history when exiting interactive shell with control-c
Merge branch 'PHP-5.4' into PHP-5.5
BFN
Merge branch 'PHP-5.5' into PHP-5.6
Merge branch 'PHP-5.6'