Basic ANSI color support

Author: gakowalski

README.md

@@ -39,6 +39,10 @@ Although this script doesn't implement any special features itself, there are so
 
 For complete listing please take a look at [TechNet article about DOSKEY][3].
 
+## ANSI colors
+
+On **Windows 10** output comments are colored red if `shell.php` can access helper batch file `ansi_echo.bat`. Batch file takes two arguments: ANSI color code and text message with space characters replaced with `$!`.
+
 ## Ideas taken from [PsySH][4]
 
 * `$_` contains result of last operation or `NULL`.

ansi_echo.bat

@@ -0,0 +1,5 @@
+@echo off
+setlocal
+set message=%2
+set message=%message:$!= %
+echo [%1%message%

shell.php

@@ -1,8 +1,21 @@
 <?php
 // Copyright (C) 2016 Grzegorz Kowalski, see LICENSE file
 
-function llecho($message) {
-	echo "// $message\n";
+function llecho($message, $ansi_color = '31m') {
+	if (strpos(php_uname(), 'Windows 10') !== false && file_exists('ansi_echo.bat')) {
+		$message = strtr("// $message", array(
+			'%' => '%%',
+			'^' => '^^',
+			'&' => '^&',
+			'<' => '^<',
+			'>' => '^>',
+			'|' => '^|',
+			' ' => "$!",
+		));
+		system("cmd /c ansi_echo.bat $ansi_color $message");
+	} else {
+		echo "// $message\n";
+	}
 }
 
 function php_syntax_check_func($data, $stdin, $stdout, $stderr)