<?php
//First, use file() to get array of lines from your text file, then...
$array_from_file = array('String1', 'String2', 'String3');
$array_from_file = array_map(function($x){return $x = '"'.$x.'"';}, $array_from_file);
foreach ($array_from_file as $line) {
echo $line . "\n";
}
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
"String1"
"String2"
"String3"