<?php

$raw = file_get_contents("drive1.txt");
$lines = explode(chr(10), $raw);
$output = '<ol>';
foreach($lines as $line) {
    $output .= '<li>' .$line .'</li>';
}
$output .= '</ol>';

echo $output;
?>