* lang_php/parsing/lexer_php.mll: misc