Redesign parser of PHP highlighter, it is now a bit faster, has a bit less code and is  more readable