Completed
Push — master ( 7c7d0a...1d2816 )
by Scott
03:13
created
src/Repl.php 2 patches
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -49,11 +49,17 @@
 block discarded – undo
49 49
 	    return fgets(STDIN);
50 50
 	}
51 51
 
52
+	/**
53
+	 * @param string $input
54
+	 */
52 55
 	private function isExitCommand($input)
53 56
 	{
54 57
 		return $input == "exit\n";
55 58
 	}
56 59
 
60
+	/**
61
+	 * @param string $input
62
+	 */
57 63
 	private function shouldBeProcessed($input)
58 64
 	{
59 65
 		return !empty($input) && !preg_match('/^;/', $input);
Please login to merge, or discard this patch.
Unused Use Statements   -1 removed lines patch added patch discarded remove patch
@@ -1,7 +1,6 @@
 block discarded – undo
1 1
 <?php
2 2
 namespace Desmond;
3 3
 use Desmond\Desmond;
4
-use Desmond\data_types\VoidType;
5 4
 
6 5
 class Repl
7 6
 {
Please login to merge, or discard this patch.