<?php
// fetch_records.php

// Código para conexão com o banco de dados

// Seu código para buscar os registros do banco de dados

// Transforma os registros em JSON
$records_json = json_encode($records);

// Retorna os registros
echo $records_json;
?>