A handful of tools for PHP developers.