Move all zeros to the end

<?php
$line = trim(fgets(STDIN));
$nums = explode(' ', $line);

$zerosCount = 0;
foreach ($nums as $num) {
    if ($num == 0) {
        $zerosCount++;
    } else {
        echo $num . ' ';
    }
}

echo str_repeat('0 ', $zerosCount);