PHP syntax highlighting was buggy (hangs on unclosed HTML attributes) when built with JFLex 1.5.1, so rolling back to 1.4.1 for now