From 290f0f44dc5cca0c573af1466dfc0bf2ffe15f3b Mon Sep 17 00:00:00 2001
From: Simon Leary <simon.leary42@proton.me>
Date: Thu, 18 Dec 2025 11:01:04 -0500
Subject: [PATCH] add newlines to header.php html output

---
 resources/templates/header.php | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/resources/templates/header.php b/resources/templates/header.php
index 6a106f16..655c8df0 100644
--- a/resources/templates/header.php
+++ b/resources/templates/header.php
@@ -80,45 +80,45 @@
   <nav class="mainNav">
     <?php
     // Public Items - Always Visible
-    echo getHyperlink("Home", "index.php");
+    echo getHyperlink("Home", "index.php") . "\n";
 
     $num_additional_items = count(CONFIG["menuitems"]["labels"]);
     for ($i = 0; $i < $num_additional_items; $i++) {
         echo "<a target='_blank' href='" . CONFIG["menuitems"]["links"][$i] . "'>" .
-        CONFIG["menuitems"]["labels"][$i] . "</a>";
+        CONFIG["menuitems"]["labels"][$i] . "</a>\n";
     }
 
     if (isset($_SESSION["user_exists"]) && $_SESSION["user_exists"]) {
         // Menu Items for Present Users
-        echo getHyperlink("Support", "panel/support.php");
-        echo getHyperlink("Account Settings", "panel/account.php");
-        echo getHyperlink("My PIs", "panel/groups.php");
+        echo getHyperlink("Support", "panel/support.php") . "\n";
+        echo getHyperlink("Account Settings", "panel/account.php") . "\n";
+        echo getHyperlink("My PIs", "panel/groups.php") . "\n";
 
         if (isset($_SESSION["is_pi"]) && $_SESSION["is_pi"]) {
             // PI only pages
-            echo getHyperlink("My Users", "panel/pi.php");
+            echo getHyperlink("My Users", "panel/pi.php") . "\n";
         }
 
         // additional branding items
         $num_additional_items = count(CONFIG["menuitems_secure"]["labels"]);
         for ($i = 0; $i < $num_additional_items; $i++) {
             echo "<a target='_blank' href='" . CONFIG["menuitems_secure"]["links"][$i] . "'>" .
-            CONFIG["menuitems_secure"]["labels"][$i] . "</a>";
+            CONFIG["menuitems_secure"]["labels"][$i] . "</a>\n";
         }
 
         // admin pages
         if (
             isset($_SESSION["is_admin"]) && $_SESSION["is_admin"] && !isset($_SESSION["viewUser"])
         ) {
-            echo "<hr class='navHR'>";
+            echo "<hr class='navHR'>\n";
             // Admin only pages
-            echo getHyperlink("User Management", "admin/user-mgmt.php");
-            echo getHyperlink("PI Management", "admin/pi-mgmt.php");
-            echo getHyperlink("Cluster Notices", "admin/notices.php");
-            echo getHyperlink("Content Management", "admin/content.php");
+            echo getHyperlink("User Management", "admin/user-mgmt.php") . "\n";
+            echo getHyperlink("PI Management", "admin/pi-mgmt.php") . "\n";
+            echo getHyperlink("Cluster Notices", "admin/notices.php") . "\n";
+            echo getHyperlink("Content Management", "admin/content.php") . "\n";
         }
     } else {
-        echo getHyperlink("Login / Request Account", "panel/account.php");
+        echo getHyperlink("Login / Request Account", "panel/account.php") . "\n";
     }
     ?>
   </nav>