Jump to content

User:WOSlinkerBot/linttask12.js

From Wikipedia, the free encyclopedia
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
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}),
                       'lint',
                       'p-lint',
                       'lint edit');
    }
)}

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

          myContent = myContent.replace(/\<b\>\<\/b\>/g,'<b>&#xF8FF;</b>');
          myContent = myContent.replace(/\<B\>\<\/B\>/g,'<B>&#xF8FF;</B>');
          myContent = myContent.replace(/\<B\>Allmightyduck \<\/B\>/g,'<B>Allmightyduck &#xF8FF;</B>');
          myContent = myContent.replace(/\>\</g,'>&#xF8FF;<');
          myContent = myContent.replace(//g,'&#xF8FF;');
          myContent = myContent.replace(//g,'&#xE2E1;');
          myContent = myContent.replace(//g,'&#xE503;');
          myContent = myContent.replace(//g,'&#xF755;');

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

              if(document.getElementById('wpTextbox1').value != myContent) {
                  document.getElementById('wpTextbox1').value=myContent;
                  document.getElementById('wpSummary').value='Replace characters from the unicode private area with html code';
                  document.getElementById('wpMinoredit').checked = true;
              }
          }

    }
)}