How to get the number of lines in a file in PHP

The example in this article describes how to get the number of lines in a file in PHP. Share it with everyone for your reference. The specific analysis is as follows:
Two implementation methods are provided. Although the second one is simple and easy to understand, the first one is the most efficient
The first one:

<?<span style="color: #000000">php 
</span><span style="color: #800080">$file_path</span> = 'xxx.txt'; <span style="color: #008000">//</span><span style="color: #008000">文件路径 </span>
<span style="color: #800080">$line</span> = 0 ; <span style="color: #008000">//</span><span style="color: #008000">初始化行数 
//打开文件 http://www.manongjc.com/article/1330.html</span>
<span style="color: #800080">$fp</span> = <span style="color: #008080">fopen</span>(<span style="color: #800080">$file_path</span> , 'r') or <span style="color: #0000ff">die</span>("open file failure!"<span style="color: #000000">); 
</span><span style="color: #0000ff">if</span>(<span style="color: #800080">$fp</span><span style="color: #000000">){ 
</span><span style="color: #008000">//</span><span style="color: #008000">获取文件的一行内容，注意：需要php5才支持该函数； </span>
<span style="color: #0000ff">while</span>(<span style="color: #008080">stream_get_line</span>(<span style="color: #800080">$fp</span>,8192,"\n"<span style="color: #000000">)){ 
</span><span style="color: #800080">$line</span>++<span style="color: #000000">; 
} 
</span><span style="color: #008080">fclose</span>(<span style="color: #800080">$fp</span>);<span style="color: #008000">//</span><span style="color: #008000">关闭文件 </span>
<span style="color: #000000">} 
</span><span style="color: #008000">//</span><span style="color: #008000">输出行数； </span>
<span style="color: #0000ff">echo</span> <span style="color: #800080">$line</span><span style="color: #000000">; 
</span>?>

The second type:

<?<span style="color: #000000">php 
</span><span style="color: #008000">//</span><span style="color: #008000">http://www.manongjc.com/article/1330.html</span>
<span style="color: #800080">$line</span> = <span style="color: #008080">count</span>(<span style="color: #008080">file</span>('filename'<span style="color: #000000">)); 
</span><span style="color: #0000ff">echo</span> <span style="color: #800080">$line</span><span style="color: #000000">; 
</span>?>

The second method will be very inefficient because it needs to save the content of the file