diff --git a/info.php b/info.php
new file mode 100644
index 0000000..47b3cb9
--- /dev/null
+++ b/info.php
@@ -0,0 +1,5 @@
+<?php 
+
+phpinfo();
+
+?>
\ No newline at end of file
diff --git a/scripts/nav.php b/scripts/nav.php
index eb5e1a8..3237512 100644
--- a/scripts/nav.php
+++ b/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){