rem: NickHistory.pop; 
add: NickHistory.pop(); 
context: function push_nickbuf(oldnick,newnick) {	NickHistory.unshift(new NickBuf(oldnick,newnick));	if(NickHistory.length >= nick_buffer)		NickHistory.pop;}
meta: 4284	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4284/8ad47e2a8524a8dbc833bc139629f51599468185/ircd.js/clean/ircd.js