@@ -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)) |