MediaWiki:Common.js/irclogin.js

/* smarter IRC login system */ $(function {	var nick = (wgUserName == null) ? ('TSWUser-' + Math.floor(Math.random * 10)) : wgUserName.replace(/ /g, '_'); 	$('#IRClogin').html(' '); });