php-tokenizer: PHP tokenizer extension

    2020-07-21 22:26          26 etc/php.d/tokenizer.ini
    2020-07-21 22:28       19987 usr/lib/php/20180731/tokenizer.dll
    2020-07-21 22:26           0 usr/share/doc/pear/tokenizer/
    2020-07-21 22:26          46 usr/share/doc/pear/tokenizer/CREDITS
    2020-07-21 22:26        2371 var/lib/pear/.registry/.channel.pecl.php.net/tokenizer.reg