MediaWiki:Common.js/displayTimer.js

var refreshDate; ADDDATE function {var UTCDate = ((new Date ). toUTCString ). replace ("GMT", "(UTC)"), $ ('# showdate'). empty. append ('  '+ UTCDate.substring (5) +'   '); window.clearTimeout (refreshDate) refreshDate = window.setTimeout (ADDDATE, 1000);} $ (document). ready (function {if (skin ==' oasis ') $ ('    '). appendTo (' # GlobalNavigation ') else $ (' # p-personal ul '). prepend ('    '); ADDDATE ; refreshDate = window.setTimeout (ADDDATE, 1000), $ (' # displayTimer '). css ({' font-size '"12px "});});