私は>23ですが、こんなのどうでしょう
コードベタ書きは書き込み制限あるので一部ホワイトスペース入れたりお茶濁してるので適宜変換したください

①
while (1) {
echo "\r" . date('H:i:s');
sleep(1);
}


②
while (1) {
echo date('H:i:s')."\r";
flush();
sleep(1);
}


やってる事はほぼ同じですが、お役に立てれば嬉しいです