show libtidy version in the info, if available

diff --git a/ext/tidy/tidy.c b/ext/tidy/tidy.c
index d6461bd5136f3abfe5f5b691540902bd5783f5a1..7708306e3a67b228833ae2b71b4be34780d8ce07 100644 (file)
--- a/ext/tidy/tidy.c
+++ b/ext/tidy/tidy.c
@@ -1083,6 +1083,9 @@ static PHP_MINFO_FUNCTION(tidy)
 {
        php_info_print_table_start();
        php_info_print_table_header(2, "Tidy support", "enabled");
+#if HAVE_TIDYBUFFIO_H
+       php_info_print_table_row(2, "libTidy Version", (char *)tidyLibraryVersion());
+#endif
        php_info_print_table_row(2, "libTidy Release", (char *)tidyReleaseDate());
        php_info_print_table_row(2, "Extension Version", PHP_TIDY_VERSION " ($Id$)");
        php_info_print_table_end();