<?php
/**
 * Author: Connor Tall - 18000290
 * json_encode() was taken from https://www.php.net/manual/en/function.json-encode.php Acessed 29/04/2021 16:44
 */
require_once("../classes/galleryImages.class.php");
$historicImages = new GalleryImages("historicalImages", "images_historical");
$output = array_values($historicImages->getListOfFilenamesToBeDisplayed());
echo json_encode($output);
?>