In case it doesn't, click here: http://www.phing.info/get/phing-2.5.0.phar.
An automated solver for binarypuzzle.com.
A relational and transaction-based database system.