PHP Stack Array Push & amp; поп

Я пытался создать навигационную систему для проекта, над которым я работал. Я застрял на некоторое время, но я чувствую, что на правильном пути.

Я хочу знать, как бы я сделал так, чтобы, когда пользователь выбирает SQL1.php, он был удален из $ PHPFiles, чтобы та же самая страница снова не отображалась как href. В настоящее время он настроен так, что он случайный, что хорошо для того, что я хочу, но я никогда не хочу, чтобы пользователь дважды видел одну и ту же ссылку.

<?php
$currentPage = $_SERVER["PHP_SELF"];
$nextPage;
$prevPage;

$PHPFiles = array();
$PHPFilesPrevious = array();

$PHPFiles[] = 'sql1.php';
$PHPFiles[] = 'sql2.php';
$PHPFiles[] = 'sql3.php';
$PHPFiles[] = 'sql4.php';
$PHPFiles[] = 'sql5_1.php';
$PHPFiles[] = 'sql6.php';
$PHPFiles[] = 'sql7.php';
$PHPFiles[] = 'sql8.php';
$PHPFiles[] = 'sql9.php';
$PHPFiles[] = 'sql10.php';$nextPage=$PHPFiles[rand(0, count($PHPFiles)-1)];

$prevPage=$currentPage;

$currentPage=$nextPage;

array_push($PHPFilesPrevious, $currentPage);

array_push($PHPFilesPrevious, $prevPage);

unset($PHPFiles[$nextPage]);

$prevPage=array_pop($PHPFilesPrevious);

array_push($PHPFiles, $prevPage);

function push($PHPFiles, $currentPage, $nextPage) {

array_push($PHPFiles, $currentPage);
unset($PHPFiles[$nextPage]);
}

if(isset($_POST['next'])) {
echo $nextPage;
echo $prevPage;
}

if(isset($_GET['dec'])) { // decreasing
--$_SESSION['count'];
echo --$_SESSION['count'];
}

$_SESSION["count"];
if ($_SESSION['count'] <=0) {
echo '<button><a href="#">Current Page - ' . $currentPage . '</a> </button>';echo '<button name = "next" id = "next"> <a href="' . $nextPage . '"">Next Page - ' . $nextPage . '</a> </button>'; } else
if ($_SESSION['count'] < 10) {
echo '<button> <a href="' . $prevPage . '?dec=TRUE" onclick="" class="">Previous</a></button>';
echo '<button> <a href="#">Current Page - ' . $currentPage . '</a> </button>';
echo '<button name = "next" id = "next"> <a href="' . $nextPage . '"">Next Page - ' . $nextPage . '</a> </button>';
} else {
echo '<button> <a href="' . $prevPage . '?dec=TRUE" onclick="" class="">Previous</a></button>';
echo '<button> <a href="#">Current Page - ' . $currentPage . '</a> </button>';

}
?>