PHP - Loops
You want to read user input at least once and continue reading while the input is not empty. Which PHP
do-while loop correctly implements this?do {
$input = trim(fgets(STDIN));
// process input
} ???;