Completed
Push — master ( 83bd2d...9517e2 )
by Arne
03:10
created
src/Vault.php 1 patch
Doc Comments   +3 added lines patch added patch discarded remove patch
@@ -391,6 +391,9 @@
 block discarded – undo
391 391
         return $operationCollection;
392 392
     }
393 393
 
394
+    /**
395
+     * @param resource $stream
396
+     */
394 397
     protected function readIndexFromStream($stream, \DateTime $created = null): Index
395 398
     {
396 399
         $index = new Index($created);
Please login to merge, or discard this patch.