Менять название файла в пути к файлу?

$lines file("./13.txt", FILE_IGNORE_NEW_LINES);
echo '<pre>';
print_r($lines);
echo '</pre>';
<h2><?= $_SESSION['user']['id'] ?></h2>

Естить сессия в ней айди пользователя. Помогите как сделать чтобы название файла менялось на значение айди пользователя (заменить (13) на айди) путь к файлу должен быть (айди пользователя).txt Айди меняется в зависимости кто зашёл.


Ответы (1 шт):

Автор решения: Денис

Не пойму, в чём проблема, просто подставьте $_SESSION['user']['id'] в коде вместо 13 вот так:

$lines = file("./".$_SESSION['user']['id'].".txt", FILE_IGNORE_NEW_LINES);

Хотя возможно, я неправильно понял Ваш вопрос и Вам нужно заменить "13" не в коде, а в одной из переменных. В этом случае Вам нужна функция str_replace

str_replace("13", $_SESSION['user']['id'], строка, в которой нужно заменить);

На всякий случай допишу, что нужно проверять строку, содержащуюся в сессии, во избежание инъекций (придёт там строка вида "../../какой-нибудь системный файл.php", и всё, хана серверу).

→ Ссылка