Command line interfaces for PHP