ผมได้ทำระบบเก็บข้อความแบบ txt

แสดงเป็น line 01234
ผมได้ส่งค่า <input type=checkbox name='a[]'  value='$line_num'>

 
//ส่วนรับค่า
$arr=count($a);
for($n=0;$n< $arr;$n++){
echo "$a[$n]"; // ผมต้องการ ดึงค่า $line_num  ตรงนี้ เช่นผมต้องการเลือก checkboxเพื่อลบทีละหลาย line

แต่ผมไม่ทราบว่าต้องแทรก  $lineNum ที่เป็น array เพื่อที่จะ delete line ยังไง

//code delete line

$fileName = "c.txt";
$lineNum = $a;
$arr = file($fileName);
 $lineToDelete = $lineNum;
  unset($arr["$lineToDelete"]);
 if (!$fp = fopen($fileName, 'w+'))
   {
 print "Cannot open file ($fileName)";

    exit;
       }
  if($fp)    {
        foreach($arr as $line) { fwrite($fp,$line); }
          fclose($fp);
        }

echo "done";