A toolkit for writing CLI scripts in PHP