Вы могли бы определенно сделать это таким образом. Если это работает для ваших целей, то я бы посчитал это правильным. Похоже, у вас есть хорошая ручка.
$filename = time() . '.txt';
$fp = fopen($filename,'w');
fputs($fp,$mysql);
fclose($fp);
Если вы хотите использовать имя файла с фактической нумерацией даты вместо отметки времени UNIX, используйте это вместо:
$filename = date('YmdHis').'.txt';
Разумеется, вам придется переводить данные в экспортируемый формат ... код выше предполагает, что $mysql
содержит ваши данные, а не просто ресурс запроса.