PHP_TIDY_VERSION  459 ext/tidy/tidy.c 	PHP_TIDY_VERSION,
PHP_TIDY_VERSION 1082 ext/tidy/tidy.c 	php_info_print_table_row(2, "Extension Version", PHP_TIDY_VERSION " ($Id: c5d43b097bcd741ef0f8e424db7f1c5f5ce80e3a $)");