php-tidy: PHP tidy extension

    2020-07-21 22:26          21 etc/php.d/tidy.ini
    2020-07-21 22:28       45075 usr/lib/php/20180731/tidy.dll
    2020-07-21 22:26           0 usr/share/doc/pear/tidy/
    2020-07-21 22:26          39 usr/share/doc/pear/tidy/CREDITS
    2020-07-21 22:26        2329 var/lib/pear/.registry/.channel.pecl.php.net/tidy.reg