exportar consulta de base de datos a archivo txt abierto

[Montes28]

hasta el momento llevo esta parte

Código HTML:

<p><a href="index.php?controller=correo_&accion=exportar_correos&file=datos.txt">Exportar</p></a>
 

Código PHP:

/*------------------  Funcion Menu Usuarios  ------------------*/
    
    function exportar_correos()
    {
            
          require 'models/correo_Model.php';
 
              $ls = new Correo();
              $fl = $ls -> list_allcorreos($db);    
 
              
             
        
        require 'views/exportar.php';
        
    }
 

y en exportar.php

Código PHP:

<?php 
 
 
 
if (!isset($_GET['file']) || empty($_GET['file'])) {
    exit();
}
 
$root = "views/";
$file = basename($_GET['file']);
$path = $root.$file;
$type = '';
 
if (is_file($path)) {
    $size = filesize($path); 
    if (function_exists('mime_content_type')) {
        $type = mime_content_type($path);
    } else if (function_exists('finfo_file')) {
        $info = finfo_open(FILEINFO_MIME);
        $type = finfo_file($info, $path);
        finfo_close($info);  
    }
    if ($type == '') {
        $type = "application/force-download";
    }
 
    header("Content-Type: $type");
    header("Content-Disposition: attachment; filename=\"$file\"");
    header("Content-Transfer-Encoding: binary");
    header("Content-Length: " . $size);
 
    readfile($path);
} else {
    die("File not exist !!");
}
?>
 
 
al darle click a exportar logro abrir el archivo txt pero solo en que parte tengo que incluir este codigo para imprimir en el txt
 
[HIGHLIGHT="PHP"]
<?php
  $ar=fopen("views/datos.txt","w+") or
  die("Problemas en la creacion");
  
  fputs($ar,"\r\n");
for ( $i = 1 ; $i <= 10 ; $i ++) {
//print $i ;
fputs($ar,"$i");
fputs($ar,"\r\n");
}
  ?>
 

[/HIGHLIGHT]