Tengo un formulario hecho en html, cuando lo envían se le asigna un folio. Inicialmente el folio se asignaba aleatoriamente pero ahora necesito que comience asignar folios a partir de 0001, (0002, 0003) y también validar que el correo ya fue registrado. Estos datos se guardan en un archivo. Adjunto una parte del código que tengo:
if(isset($_POST["titulo"]) && !empty($_POST["titulo"]) &&
isset($_POST["fecha"]) && !empty($_POST["fecha"])){
$aleatorio = rand(1, 30000);
$titulo = $_POST["titulo"];
$fecha = $_POST['fecha'];
//Creación de archivo y escritura:
$file = "datos.txt";
$datos = fopen($file, "a+");
fwrite($datos, "Folio: " . $aleatorio . ",");
fwrite($datos, " Titulo: " . $titulo . " |");
fwrite($datos, " Fecha: " . $fecha . " |");
fclose($datos);
}
Podrían decirme alguna idea de cómo puedo solucionarlo?