@@ -593,6 +593,9 @@ discard block |
||
593 | 593 | return $operationResultCollection; |
594 | 594 | } |
595 | 595 | |
596 | + /** |
|
597 | + * @param resource $stream |
|
598 | + */ |
|
596 | 599 | protected function readIndexFromStream($stream): Index |
597 | 600 | { |
598 | 601 | if (!is_resource($stream)) |
@@ -627,6 +630,9 @@ discard block |
||
627 | 630 | fclose($stream); |
628 | 631 | } |
629 | 632 | |
633 | + /** |
|
634 | + * @param resource $stream |
|
635 | + */ |
|
630 | 636 | protected function readSynchronizationListFromStream($stream): SynchronizationList |
631 | 637 | { |
632 | 638 | if (!is_resource($stream)) |