Completed
Push — master ( d40022...a8a6e5 )
by Arne
01:50
created
src/Vault.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -589,6 +589,9 @@  discard block
 block discarded – undo
589 589
         return $operationResultList;
590 590
     }
591 591
 
592
+    /**
593
+     * @param resource $stream
594
+     */
592 595
     protected function readIndexFromStream($stream): Index
593 596
     {
594 597
         if (!is_resource($stream))
@@ -623,6 +626,9 @@  discard block
 block discarded – undo
623 626
         fclose($stream);
624 627
     }
625 628
 
629
+    /**
630
+     * @param resource $stream
631
+     */
626 632
     protected function readSynchronizationListFromStream($stream): SynchronizationList
627 633
     {
628 634
         if (!is_resource($stream))
Please login to merge, or discard this patch.