tidyReleaseDate  1081 ext/tidy/tidy.c 	php_info_print_table_row(2, "libTidy Release", (char *)tidyReleaseDate());
tidyReleaseDate  1349 ext/tidy/tidy.c 	RETURN_STRING((char *)tidyReleaseDate());