grazie samyorn, ho usato \r!
adesso tutto funziona a meraviglia!
Ecco il codice che ho usato:
<pre><?php
$replace = str_replace("<br>","\r",$html);
$html_vars = explode("\r",$replace);
$count = count($html_vars);
echo "<div class="box">";
echo"<ol>";
for($i=0;$i<$count;$i++){
echo "<li value = "$i" type="1">".$html_vars*."</li>\n";
}
echo"</ol>";
echo "</div>";
?></pre>