@@ -221,7 +221,7 @@ discard block |
||
221 | 221 | } |
222 | 222 | ); |
223 | 223 | } catch (Throwable $t) { |
224 | - $this->miscService->log($t->getMessage() . ' -- ' . $t->getTraceAsString()); |
|
224 | + $this->miscService->log($t->getMessage().' -- '.$t->getTraceAsString()); |
|
225 | 225 | throw new Exception('Please install php-readline, or use --no-readline'); |
226 | 226 | } |
227 | 227 | } |
@@ -637,7 +637,7 @@ discard block |
||
637 | 637 | $index = $error['index']; |
638 | 638 | $errorIndex = ''; |
639 | 639 | if ($index !== null) { |
640 | - $errorIndex = $index->getProviderId() . ':' . $index->getDocumentId(); |
|
640 | + $errorIndex = $index->getProviderId().':'.$index->getDocumentId(); |
|
641 | 641 | } |
642 | 642 | |
643 | 643 | $width = $this->terminal->getWidth() - 13; |
@@ -689,7 +689,7 @@ discard block |
||
689 | 689 | $index = $result['index']; |
690 | 690 | $resultIndex = ''; |
691 | 691 | if ($index !== null) { |
692 | - $resultIndex = $index->getProviderId() . ':' . $index->getDocumentId(); |
|
692 | + $resultIndex = $index->getProviderId().':'.$index->getDocumentId(); |
|
693 | 693 | } |
694 | 694 | |
695 | 695 |