MediaWiki:Common.js/displayTimer.js

!function(a,b,c,d){"use strict";function e{var g=(new d).toUTCString.replace("GMT","(UTC)");b("#showdate").empty.append(b(" ").css({"font-weight":"bold","text-transform":"none"}).append(b("",{style:"color: white;",title:"Purge the server cache and update the contents of this page.",href:c.config.get("wgArticlePath").replace("$1",c.config.get("wgPageName").replace(/ /g,"_"))+"?action=purge",html:g.substring(5)}))),a.clearTimeout(f),f=a.setTimeout(e,1e3)}var f;b(function{"oasis"===c.config.get("skin")?b("#GlobalNavigation").append(b("",{id:"displayTimer"}).append(b(" ",{id:"showdate"}))):b("#p-personal ul").prepend(b("").append(b(" ",{id:"showdate"}))),e,f=a.setTimeout(e,1e3),b("#displayTimer").css({"font-size":"12px"})})}(this,this.jQuery,this.mediaWiki,this.Date);