Completed
Push — master ( 7b1e0a...f2b67d )
by Arne
01:35
created
src/Vault.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -548,6 +548,9 @@  discard block
 block discarded – undo
548 548
         return $operationCollection;
549 549
     }
550 550
 
551
+    /**
552
+     * @param resource $stream
553
+     */
551 554
     protected function readIndexFromStream($stream, \DateTime $created = null): Index
552 555
     {
553 556
         if (!is_resource($stream))
@@ -585,6 +588,9 @@  discard block
 block discarded – undo
585 588
         return $path;
586 589
     }
587 590
 
591
+    /**
592
+     * @param resource $stream
593
+     */
588 594
     protected function readSynchronizationListFromStream($stream): SynchronizationList
589 595
     {
590 596
         if (!is_resource($stream))
Please login to merge, or discard this patch.