A handful of tools for PHP devs