User:Cjpena/global.js

importArticles({   type: 'script',    articles: [        'u:dev:MediaWiki:AjaxBatchDelete.js',        'u:dev:MediaWiki:AjaxRC/code.js',        'u:dev:MediaWiki:EditConflictAlert/code.js',        'u:dev:MediaWiki:LastEdited/code.js',        'u:dev:MediaWiki:MassCategorization/code.js',        'u:dev:MediaWiki:MassEdit/code.js',        'u:dev:MediaWiki:MassNullEdit/code.js',        'u:dev:MediaWiki:MassRename/code.js',        'u:dev:MediaWiki:NullEditButton/code.js',        'u:dev:MediaWiki:PurgeButton/code.js',        'u:dev:MediaWiki:RevisionDelete.js',        'u:dev:MediaWiki:QuickDiff/code.js',        'u:dev:MediaWiki:UTCClock/code.js',        'u:dev:MediaWiki:View Source/code.js',    ] });

window.ajaxPages = []; window.ajaxSpecialPages = ["Recentchanges", "WikiActivity", "Watchlist", "Log", "Contributions"]; window.ajaxIndicator = 'https://images.wikia.nocookie.net/common/skins/common/images/ajax.gif'; window.ajaxRefresh = 30000; $.extend(true, window, {dev: {i18n: {overrides: {AjaxRC: {   'ajaxrc-refresh-text': 'Auto-refresh',    'ajaxrc-refresh-hover': 'Automatically refresh the page', }}}}});

// Display 12 hour time followed by day, month (English, full name) // and year with "(UTC)" at the end window.DisplayClockJS = { format: '%2I:%2M:%2S %p %{Jan;Feb;Mar;Apr;May;Jun;Jul;Aug;Sep;Oct;Nov;Dec}m %2d, %Y (PHT)', location: 'header', hoverText: 'Click here to make the server purge and regenerate (update) this page.', interval: 500, /* How often the timer updates in milliseconds (1000=1 second) */ monofonts: 'Consolas, monospace', /* The font the clock uses by default */ offset: 480 /* Time offset from UTC in minutes - 480 changes the clock from UTC to CST (China Standard Time) */ };