@@ -589,6 +589,9 @@ discard block |
||
589 | 589 | return $operationResultList; |
590 | 590 | } |
591 | 591 | |
592 | + /** |
|
593 | + * @param resource $stream |
|
594 | + */ |
|
592 | 595 | protected function readIndexFromStream($stream): Index |
593 | 596 | { |
594 | 597 | if (!is_resource($stream)) |
@@ -623,6 +626,9 @@ discard block |
||
623 | 626 | fclose($stream); |
624 | 627 | } |
625 | 628 | |
629 | + /** |
|
630 | + * @param resource $stream |
|
631 | + */ |
|
626 | 632 | protected function readSynchronizationListFromStream($stream): SynchronizationList |
627 | 633 | { |
628 | 634 | if (!is_resource($stream)) |