Mini text editor with highlighting code, made for PHP, HTML and css or any text code.