<?php
include_once "../library/inc.connection.php";
// Koneksi ke database (sesuaikan dengan detail Anda)
// $koneksi = mysql_connect("localhost", "root", "") or die("Koneksi gagal: " . mysql_error());
// mysql_select_db("nama_database", $koneksi) or die("Database tidak ditemukan: " . mysql_error());

// Query untuk mengambil data siswa
$query = "SELECT nis, nama_siswa FROM siswa";
$result = mysql_query($query) or die("Gagal query: " . mysql_error());

// Array untuk menyimpan data siswa
$siswa = array();

// Ambil data dari hasil query dan masukkan ke dalam array
while ($row = mysql_fetch_assoc($result)) {
    $siswa[] = $row;
}

// Kembalikan data dalam format JSON
echo json_encode($siswa);
