function PrintArrayLeaders($arr) {
$size = count($arr);
for ($i = 0; $i < $size; $i++) {
for ($j = $i + 1; $j < $size; $j++) {
if ($arr[$i] <= $arr[$j]) {
break;
}
}
if ($j == $size) {
echo $arr[$i] . " ";
}
}
}
$arr = array(1, 99, 16, 5, 75, 9, 50, 60, 0, 19);
PrintArrayLeaders($arr);
/*
run:
99 75 60 19
*/