In PHP possiamo separare un file di testo in righe.
La soluzione è la seguente:
function split_text_file_into_lines($filepath) {
$lines = [];
if(!file_exists($filepath) || !is_readable($filepath)) {
return $lines;
}
if(strstr(mime_content_type($filepath), 'text/') === false) {
return $lines;
}
$contents = file_get_contents($filepath);
$lines = preg_split('/\n|\r\n/', $contents);
return $lines;
}