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