Easier command-line scripting with PHP.