PHP8 fix

info.php

@@ -0,0 +1,5 @@
+<?php 
+
+phpinfo();
+
+?>

scripts/nav.php

@@ -3,7 +3,9 @@
 function page_comparator($a,$b){
     //This function is the sorting criterion for the later call of usort, which will sort the page objects
     //from pages.json in increasing order of their "index" value.
-    return $a->index > $b->index;
+    return $a->index <=> $b->index;
+    //For some reason, PHP8 requires the spaceship operator (<=>)
+    //instead of a greater than symbol.
 }
 
 function gen_nav_element($page){