UB-Mannheim / PalMA

index.php

Indentation +6 added lines, -6 removed lines

@@ -1073,9 +1073,9 @@ 
                  src="theme/<?=CONFIG_THEME?>/palma-logo-49x18.png"

                  alt="PalMA"> <?=__('Team display')?>

         <?php

-              if (isset($_SESSION['monitor'])) {

-                  echo('(' . $_SESSION['monitor'] . ')');

-              }

+                if (isset($_SESSION['monitor'])) {

+                    echo('(' . $_SESSION['monitor'] . ')');

+                }

         ?>

         </div>

 

@@ -1090,12 +1090,12 @@ 
 

 <div id="workbench_right">

     <?php

-      # Show authorized user name (and address) and allow logout.

-      if ($user) {

+        # Show authorized user name (and address) and allow logout.

+        if ($user) {

         echo("<p><a href=\"logout.php\" title=\"" .

             __('Disconnect the current user') .

             "\">Log Out<i class=\"fa fa-sign-out\"></i></a></p>");

-      }

+        }

     ?>

 <div class="list_container">

     <table class="userlist" summary="<?=__('User list')?>" title="<?=__('List of connected users')?>">