I want to setup the W3C fork of HTMLTidy (tidy-html5) as a PHP extension.
I had installed the normal php/tidy extension using the
I then downloaded the Git repository, and ran the following commands to compile the shared library:
sh build/gnuauto/setup.sh && ./configure && make sudo make install
After restarting the php5-fpm service, I still see the same tidy information on
libTidy Release 25 March 2009 Extension Version 2.0 ($Id$)
Shouldn't the PHP extension start using
tidy-html5 at this point? What can I do to make it work?