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

Revision as of 18:46, 15 April 2019

Revision as of 18:47, 15 April 2019

Line 425:

run() {

if (

mw.config.get('wgCanonicalNamespace') === '' ||

['', 'MediaWiki', 'Special'].includes(

mw.config.get('wgCanonicalNamespace') === 'MediaWiki' ||

mw.config.get('wgCanonicalNamespace') === 'Special'

)

) {

return;

}

const disabledUrls = ['action=history'];

// Check for disabled URLs.

const isDisabledUrl = ['action=history']disabledUrls.some((disabledUrl) =>

document.___location.href.includes(disabledUrl)

);

Line 440 ⟶ 442:

return;

}

const wikiPreview = ['action=edit', 'action=submit'];

// Check what ID we should use, to get the page's text.

const hasUniqueUrl = wikiPreview.some((text) =>

document.___location.href.includes(text)

);

const elementId = hasUniqueUrl ? 'wikiPreview' : 'bodyContent';

const contentText = document.querySelector('`#mw-content-text'${elementId}`),;

this.replaceText(

contentText,

document.querySelector('#mw-content-text'),

/(\d{1,2}):(\d{2}), (\d{1,2}) ([A-Z][a-z]+) (\d{4}) \(UTC\)/

);