Completed
Push — master ( 036eb2...c57299 )
by Maxence
02:05 queued 10s
created
lib/Command/Index.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -221,7 +221,7 @@  discard block
 block discarded – undo
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
 block discarded – undo
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
 block discarded – undo
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
 
Please login to merge, or discard this patch.