From a0dbce0c995207915b888f6844934adc487ceb08 Mon Sep 17 00:00:00 2001
From: root <root@login1p.fsf.org>
Date: Fri, 19 Nov 2021 16:14:14 -0500
Subject: [PATCH] textual space changes

---
 themes/fsftheme/casserver/loggedIn.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/themes/fsftheme/casserver/loggedIn.php b/themes/fsftheme/casserver/loggedIn.php
index 140d22c..3e55401 100644
--- a/themes/fsftheme/casserver/loggedIn.php
+++ b/themes/fsftheme/casserver/loggedIn.php
@@ -33,10 +33,10 @@ $this->includeAtTemplateBase('includes/header.php');
         $attrs = $auth->getAttributes();
 
         if (!isset($attrs['name'][0])) {
-              throw new Exception('fsfdrupalauth: "name" attribute missing.');
-	}
+            throw new Exception('fsfdrupalauth: "name" attribute missing.');
+        }
 
-	echo $this->t('{fsfdrupalauth:fsfdrupalauth:loggedin_as_description}') . "<strong>" . htmlspecialchars($attrs['name'][0]) . "</strong>";
+        echo $this->t('{fsfdrupalauth:fsfdrupalauth:loggedin_as_description}') . "<strong>" . htmlspecialchars($attrs['name'][0]) . "</strong>";
         echo " <a href=\"/cas/logout?url=/cas/login\">[log out]</a>";
         ?>
     </p>
@@ -47,4 +47,4 @@ $this->includeAtTemplateBase('includes/footer.php');
 
 if (isset($this->data['autofocus'])) {
     echo '<script type="text/javascript">window.onload = function() {document.getElementById(\'' . $this->data['autofocus'] . '\').focus();}</script>';
-}
\ No newline at end of file
+}
-- 
2.25.1