Completed
Push — master ( dba968...9e87bf )
by Maxence
02:27
created
lib/Model/Runner.php 1 patch
Doc Comments   +4 added lines, -4 removed lines patch added patch discarded remove patch
@@ -278,7 +278,7 @@  discard block
 block discarded – undo
278 278
 	}
279 279
 
280 280
 	/**
281
-	 * @param $key
281
+	 * @param string $key
282 282
 	 */
283 283
 	public function keyPressed($key) {
284 284
 		foreach ($this->methodOnKeyPress as $method) {
@@ -371,7 +371,7 @@  discard block
 block discarded – undo
371 371
 
372 372
 
373 373
 	/**
374
-	 * @param $tick
374
+	 * @param integer $tick
375 375
 	 */
376 376
 	private function updateTick($tick) {
377 377
 		if (($this->ramTick + self::MEMORY_INFO_UPDATE) > $tick) {
@@ -386,8 +386,8 @@  discard block
 block discarded – undo
386 386
 	/**
387 387
 	 * @deprecated - verifier l'interet !?
388 388
 	 *
389
-	 * @param $reason
390
-	 * @param $stop
389
+	 * @param string $reason
390
+	 * @param boolean $stop
391 391
 	 */
392 392
 	public function exception($reason, $stop) {
393 393
 		if (!$stop) {
Please login to merge, or discard this patch.
lib/Command/Live.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -514,7 +514,7 @@  discard block
 block discarded – undo
514 514
 		$index = $result['index'];
515 515
 		$resultIndex = '';
516 516
 		if ($index !== null) {
517
-			$resultIndex = $index->getProviderId() . ':' . $index->getDocumentId();
517
+			$resultIndex = $index->getProviderId().':'.$index->getDocumentId();
518 518
 		}
519 519
 
520 520
 
@@ -571,7 +571,7 @@  discard block
 block discarded – undo
571 571
 		$index = $error['index'];
572 572
 		$errorIndex = '';
573 573
 		if ($index !== null) {
574
-			$errorIndex = $index->getProviderId() . ':' . $index->getDocumentId();
574
+			$errorIndex = $index->getProviderId().':'.$index->getDocumentId();
575 575
 		}
576 576
 
577 577
 		$width = $this->terminal->getWidth() - 13;
Please login to merge, or discard this patch.
lib/Command/Index.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -592,7 +592,7 @@  discard block
 block discarded – undo
592 592
 		$index = $error['index'];
593 593
 		$errorIndex = '';
594 594
 		if ($index !== null) {
595
-			$errorIndex = $index->getProviderId() . ':' . $index->getDocumentId();
595
+			$errorIndex = $index->getProviderId().':'.$index->getDocumentId();
596 596
 		}
597 597
 
598 598
 		$width = $this->terminal->getWidth() - 13;
@@ -644,7 +644,7 @@  discard block
 block discarded – undo
644 644
 		$index = $result['index'];
645 645
 		$resultIndex = '';
646 646
 		if ($index !== null) {
647
-			$resultIndex = $index->getProviderId() . ':' . $index->getDocumentId();
647
+			$resultIndex = $index->getProviderId().':'.$index->getDocumentId();
648 648
 		}
649 649
 
650 650
 
Please login to merge, or discard this patch.