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