RJ TextEd

This is a minor thing, yet here it is: in PHP highlighter numbers can be highlighted as numbers (no surprise here) or methods, depending on the next character: pink color in the screenshot below is `number`, while lightgreen -- `method`:

The following change in the syntax file seems to fix it:

Thank you! It works great...
...but I had to change my theme from Windows (well, my own one based on Windows theme) to Amakrits, since with my theme the window was blank.