MediaWiki:Gadget-UTCLiveClock.js: Difference between revisions
Content deleted Content added
m formatting |
add safety check |
||
Line 5:
var nextNode = UTCLiveClockConfig.nextNodeId ? document.getElementById(UTCLiveClockConfig.nextNodeId) : undefined;
liveClock.node = addPortletLink( portletId, wgServer + wgScriptPath + '/index.php?title=' + encodeURIComponent(wgPageName) + '&action=purge', '', 'utcdate', undefined, undefined, nextNode );
if( !liveClock.node ) return;
liveClock.node.style.fontSize = 'larger';
liveClock.node.style.fontWeight = 'bolder';
|