Browse Source

Minor - flint fixes

Julio Montoya 6 years ago
parent
commit
0f5e32f457

+ 1 - 1
main/inc/lib/document.lib.php

@@ -3511,7 +3511,7 @@ class DocumentManager
      * @param array $courseInfo
      * @param int   $sessionId
      * @param int   $user_id
-     * @param int   $groupId iid
+     * @param int   $groupId               iid
      * @param bool  $checkParentVisibility
      *
      * @return bool

+ 1 - 2
main/inc/lib/usermanager.lib.php

@@ -5550,7 +5550,7 @@ class UserManager
     }
 
     /**
-     * Subscribe boss to students, if $bossList is empty then the boss list will be empty too
+     * Subscribe boss to students, if $bossList is empty then the boss list will be empty too.
      *
      * @param int   $studentId
      * @param array $bossList
@@ -5579,7 +5579,6 @@ class UserManager
 
             // Boss list is the same, nothing changed.
             if ($bossList == $previousBossList) {
-
                 return false;
             }
 

+ 0 - 1
main/ticket/ticket_details.php

@@ -352,7 +352,6 @@ if ($ticket['ticket']['status_id'] == TicketManager::STATUS_CLOSE) {
 }
 $senderData = get_lang('AddedBy').' '.$ticket['usuario']['complete_name_with_message_link'];
 
-
 echo '<table width="100%" >
         <tr>
           <td colspan="3">