User:WOSlinkerBot/lint spi.js

function lint_queryString(p) { var re = RegExp('[&?]' + p + '=([^&]*)'); var matches; if (matches = re.exec(document.location)) { try { return decodeURI(matches[1]); } catch (e) { } }   return null; }

//Add a 'lint edit' tab if(mw.config.get('wgArticleId') != 0 ) { $( function lintEditButton {       mw.util.addPortletLink('p-cactions', mw.util.getUrl(null,{action:'edit',lintedit:true}), 'lintspi', 'p-lint', 'lintspi edit');   } )}

if(mw.config.get('wgAction') == 'edit' && lint_queryString('lintedit') == 'true') { $(function lint {       var myContent = document.getElementById('wpTextbox1').value;

myContent = myContent.replace(/(\\[https\:\/\/tools\.wmflabs\.org\/sigma\/editorinteract\.py\?users\=\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\} Editor interaction utility\] • )\(\[https\:\/\/tools\.wmflabs\.org\/interaction-timeline\?wiki\=enwiki\&user\=\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\} Interaction Timeline\] • \[https\:\/\/tools\.wmflabs\.org\/betacommand-dev\/UserCompare\/\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\}\.html User compare report\]\<\/span\>)/g,'$1$2'); myContent = myContent.replace(/(\\[https\:\/\/tools\.wmflabs\.org\/sigma\/editorinteract\.py\?users\=\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\}\&users\=[^\]]*\] • )\(\[https\:\/\/tools\.wmflabs\.org\/interaction-timeline\?wiki\=enwiki\&user\=\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\}\&user\=[^\]]*\] • \[https\:\/\/tools\.wmflabs\.org\/betacommand-dev\/UserCompare\/\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\}\.html User compare report\]\<\/span\>)/g,'$1$2'); myContent = myContent.replace(/(\\[https\:\/\/tools\.wmflabs\.org\/sigma\/editorinteract\.py\?users\=\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\}\&users\=[^\]]*\] • )\(\[https\:\/\/tools\.wmflabs\.org\/interaction-timeline\?wiki\=enwiki\&user\=\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\} Interaction Timeline\] • \[https\:\/\/tools\.wmflabs\.org\/betacommand-dev\/UserCompare\/\{\{urlencode\:\{\{SUBPAGENAME\}\}\}\}\.html User compare report\]\<\/span\>)/g,'$1$2');

if(document.getElementById('wpTextbox1').value != myContent) {

if(document.getElementById('wpTextbox1').value != myContent) { document.getElementById('wpTextbox1').value=myContent; document.getElementById('wpSummary').value='reduce lint errors by fixing span tags'; document.getElementById('wpMinoredit').checked = true; }         }

} )}