token_get_all() new API

Hi all, I recently worked on token_get_all() implementation to add an extra argument to the function to show token names directly in the output instead of having to call token_name() on every output (usually what is done nowadays). I also added a flag so that the parsed scanner value can become optionnal in the output, as sometimes one just wants a token stream and is not interested in dealing with the scanner ouput. If you have ideas or thoughts ? https://github.com/jpauli/php-src/compare/token_names Julien.P