Various shell scripts and other tools I use
Shell Scripts for working with PHP and Extensions source code