PHP's best friend for the terminal.