Изменения

 <div><span style="background-color:#f0fff0;"pre>if (isset($_POST['xml'])&&isset($_POST['type'])){</span></div><div class="_"><span style="background-color:#f0fff0;"> // сохранить запрос в файл или куда-либо еще &nbsp;&nbsp;</span></div><div class="_"><span style="background-color:#f0fff0;">&nbsp; echo 'OK';</span><br/></div><div><span style="background-color:#f0fff0;">}</span></divpre>