Completed
Push — master ( 6b2646...6001f4 )
by Scott
03:17
created
src/Repl.php 1 patch
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.