[drupal-devel] [bug] Make theme_table() PHP5 ready