Completed
Push — master ( 166d1e...c5a3b4 )
by Arne
02:18
created
src/Vault.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -593,6 +593,9 @@  discard block
 block discarded – undo
593 593
         return $operationResultCollection;
594 594
     }
595 595
 
596
+    /**
597
+     * @param resource $stream
598
+     */
596 599
     protected function readIndexFromStream($stream): Index
597 600
     {
598 601
         if (!is_resource($stream))
@@ -627,6 +630,9 @@  discard block
 block discarded – undo
627 630
         fclose($stream);
628 631
     }
629 632
 
633
+    /**
634
+     * @param resource $stream
635
+     */
630 636
     protected function readSynchronizationListFromStream($stream): SynchronizationList
631 637
     {
632 638
         if (!is_resource($stream))
Please login to merge, or discard this patch.