Completed
Push — master ( 0740de...1731d4 )
by Maxence
01:56
created
lib/Command/Live.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -461,7 +461,7 @@
 block discarded – undo
461 461
 		$index = $error['index'];
462 462
 		$errorIndex = '';
463 463
 		if ($index !== null) {
464
-			$errorIndex = $index->getProviderId() . ':' . $index->getDocumentId();
464
+			$errorIndex = $index->getProviderId().':'.$index->getDocumentId();
465 465
 		}
466 466
 
467 467
 		$width = $this->terminal->getWidth() - 13;
Please login to merge, or discard this patch.
lib/Command/Index.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -551,7 +551,7 @@
 block discarded – undo
551 551
 		$index = $error['index'];
552 552
 		$errorIndex = '';
553 553
 		if ($index !== null) {
554
-			$errorIndex = $index->getProviderId() . ':' . $index->getDocumentId();
554
+			$errorIndex = $index->getProviderId().':'.$index->getDocumentId();
555 555
 		}
556 556
 
557 557
 		$width = $this->terminal->getWidth() - 13;
Please login to merge, or discard this patch.