+Drupal.theme.prototype.mkdruCounts = function(first, last, available, total) {
+ return first + Drupal.t(' to ') + last + Drupal.t(' of ') + available
+ + Drupal.t(' available (') + total + Drupal.t(' found)');
+};
+
+Drupal.theme.prototype.mkdruStatus = function(activeClients, clients) {
+ return Drupal.t('Waiting on ') + activeClients + Drupal.t(' out of ')
+ + clients + Drupal.t(' targets');
+};
+
+Drupal.theme.prototype.mkdruFacet = function (terms, facet, max, selections) {