Regarding the fix for ASTPHP5Scanner.flex, I referred to https://github.com/apache/incubator-netbeans/blob/master/php/php.editor/tools/Php5ColoringScanner.flex .
[ Full content available at: https://github.com/apache/incubator-netbeans/pull/830 ] This message was relayed via gitbox.apache.org for [email protected]
