号码文件，空行如何处重点.

Question

号码处理，我有一万个号码文件，当中有空行，我想把这个空行去除，返回实际数。我是想用PHP编程实现。附号码格式：
13000000000
13800000000
13000000000
13800000000
13000000000
13800000000
13000000000
13800000000

Answer 1

<?php
$a=file("number.txt");
for($i=0,$c=count($a)-1;$i<=$c,$i++)
{
if($a[$i]==NULL)
continue;
else
$b[]=$a[$i];
}
file_put_contents("number.txt",$b);
?>没试过，不知道可行不。

Answer 2

楼上的代码测试了一下，修改一下就可以了
<?php
$a=file("test.txt");
for($i=0,$c=count($a)-1;$i<=$c;$i++)
{
if(($a[$i]=="\r\n"||$a[$i]=="\n"))
continue;
else
$b[$i]=$a[$i];
}
file_put_contents("number.txt",$b);
?>