Ben Sturmfels at 2016-10-31T12:01:41Z
Also phpdbg interactive debugger and the PHP Package Checklist.