PHP: ottenere le righe contenute in un file di testo

In PHP possiamo separare un file di testo in righe.

La soluzione è la seguente:

function my_split_file_lines($filename) {
	$lines = [];
	if(!file_exists($filename) || !is_readable($filename)) {
		return $lines;
	}
	$file_contents = file_get_contents($filename);

	if(!$file_contents || empty($file_contents)) {
		return $lines;
	}
	$lines = preg_split('/\n|\r\n/', $file_contents);

	return $lines;
}