User:Gary/comments in local time.js: Difference between revisions

Revision as of 21:00, 3 June 2010

Revision as of 19:14, 16 August 2010

Line 101:

*/

if (wgCanonicalNamespace == '' || wgCanonicalNamespace == 'MediaWiki' || wgCanonicalNamespace == 'Special' || wgAction == 'history')

return false;

replace_text(document.getElementById(element_id(wgAction == 'edit' || wgAction == 'submit') ? 'wikiPreview' : 'bodyContent'), /(\d\d):(\d\d), (\d{1,2}) ([A-Z][a-z]+) (\d{4}) \(UTC\)/g, adjust_time);

var disabled_urls = new Array('action=history'), unique_url = false, wikiPreview = new Array('action=edit', 'action=submit');

for (var i = 0; i < disabled_urls.length; i++)

{

if (document.___location.href.indexOf(disabled_urls[i]) != -1)

return;

}

for (var i = 0; i < wikiPreview.length; i++)

{

if (document.___location.href.indexOf(wikiPreview[i]) != -1)

unique_url = 'wikiPreview';

}

var element_id = unique_url ? unique_url : 'bodyContent';

replace_text(document.getElementById(element_id), /(\d\d):(\d\d), (\d{1,2}) ([A-Z][a-z]+) (\d{4}) \(UTC\)/g, adjust_time);

function add_leading_zero(number)