A collection of dev tools for PHP applications