Completed
Push — master ( 8d2c4d...77f170 )
by Arne
01:48
created
src/Vault.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -601,6 +601,9 @@  discard block
 block discarded – undo
601 601
         return $operationResultCollection;
602 602
     }
603 603
 
604
+    /**
605
+     * @param resource $stream
606
+     */
604 607
     protected function readIndexFromStream($stream, \DateTime $created = null): Index
605 608
     {
606 609
         if (!is_resource($stream))
@@ -635,6 +638,9 @@  discard block
 block discarded – undo
635 638
         fclose($stream);
636 639
     }
637 640
 
641
+    /**
642
+     * @param resource $stream
643
+     */
638 644
     protected function readSynchronizationListFromStream($stream): SynchronizationList
639 645
     {
640 646
         if (!is_resource($stream))
Please login to merge, or discard this patch.