PHP command line interface