Completed
Push — master ( f2b67d...98a2b4 )
by Arne
01:46
created
src/Vault.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -681,6 +681,9 @@  discard block
 block discarded – undo
681 681
         return $operationCollection;
682 682
     }
683 683
 
684
+    /**
685
+     * @param resource $stream
686
+     */
684 687
     protected function readIndexFromStream($stream, \DateTime $created = null): Index
685 688
     {
686 689
         if (!is_resource($stream))
@@ -715,6 +718,9 @@  discard block
 block discarded – undo
715 718
         fclose($stream);
716 719
     }
717 720
 
721
+    /**
722
+     * @param resource $stream
723
+     */
718 724
     protected function readSynchronizationListFromStream($stream): SynchronizationList
719 725
     {
720 726
         if (!is_resource($stream))
Please login to merge, or discard this patch.