modules/userlist/userlist.js

// $Id$

if (Drupal.jsEnabled){
  $(document).ready(function(){
    badges = Drupal.settings.userlist.badges;
    if (badges != null) {
      $("h2[@class='with-tabs']").append('<div class="userlist-profile clearfix">' + badges + '</div>');
    }
  });
}
1	// $Id$
2
3	if (Drupal.jsEnabled){
4	$(document).ready(function(){
5	badges = Drupal.settings.userlist.badges;
6	if (badges != null) {
7	$("h2[@class='with-tabs']").append('<div class="userlist-profile clearfix">' + badges + '</div>');
8	}
9	});
10	}