<?php
  $lec_lines = file('var/lecture.txt');
  foreach ($lec_lines as $line_num => $line) {
    $lecture[$line_num] = $line;
  }
?>