PHP command-line interface