PHP-based command-line prompt