Patch to allow themeing of taxonomy_term_page()

Previously, it wasn't possible to theme taxonomy_term_page() if you needed to display your results in a different format. The below patch adds a wrapper function that calls theme() to allow for this ability.

--- modules/taxonomy.module.orig    2007-10-31 14:43:17.000000000 -0700
+++ modules/taxonomy.module      2007-10-31 14:49:37.000000000 -0700
@@ -1192,6 +1192,10 @@
  * Menu callback; displays all nodes associated with a term.
  */
 function taxonomy_term_page($str_tids = '', $depth = 0, $op = 'page') {
+       return theme('taxonomy_term_page', $str_tids, $depth, $op);
+}
+
+function theme_taxonomy_term_page($str_tids = '', $depth = 0, $op = 'page') {
   if (preg_match('/^([0-9]+[+ ])+[0-9]+$/', $str_tids)) {
     $operator = 'or';
     // The '+' character in a query string may be parsed as ' '.