use \uFFFF as upper range for PHP identifiers#4735

vladak merged 1 commit intooracle:masteroracle/opengrok:masterfrom

vladak:jflex_php_unicode_rangevladak/OpenGrok:jflex_php_unicode_rangeCopy head branch name to clipboard