Completed
Push — development ( d7057a...328c6d )
by Nils
08:10
created
sources/main.functions.php 1 patch
Doc Comments   -1 removed lines patch added patch discarded remove patch
@@ -522,7 +522,6 @@
 block discarded – undo
522 522
  * identifyUserRights()
523 523
  *
524 524
  * @return
525
- * @param boolean $refresh
526 525
  */
527 526
 function identifyUserRights($groupesVisiblesUser, $groupesInterditsUser, $isAdmin, $idFonctions)
528 527
 {
Please login to merge, or discard this patch.