context: function cmgr_listnames (partialName, flags){    var cmds = this.list(partialName, flags);    var cmdNames = new Array();        for (var c in cmds)        cmdNames.push (cmds[c].name);    cmdNames.sort();    return cmdNames;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d84f82bf3e11bd09e70e1036662b0018f8834acc/command-manager.js/clean/extensions/irc/js/lib/command-manager.js