如何使用PHP从文本文件的开头删除X行数？

I'm writing a PHP script and the script outputs a simple text file log of the operations it performs. How would I use PHP to delete the first several lines from this file when it reaches a certain file size?I'm writing a PHP script and the script outputs