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(/\<font color\=\#03C\>\[\[Wikipedia\:Questions\]\]\<\/font\>/g,'[[Wikipedia:Questions|<span style="color:#03C;">Wikipedia:Questions</span>]]');
        myContent = myContent.replace(/\<font color\=\#([0-9A-F][0-9A-F][0-9A-F])>([\w\d \~\&\',\.\-\#\;\:\(\)\{\}\[\]\|\!\"]*)\<\/font\>/gi,'<span style="color:#$1;">$2</span>');
        myContent = myContent.replace(/\<font color\=\#639\>(and welcome to Wikipedia\!  I\'m a regular contributor here\, and when I notice on the \[\[Special\:Recentchanges\|\<span style\=\"color\:\#03C\;\"\>recent changes\<\/span\>\]\] log that a new editor has registered\, I like to send them a welcome message - that\'s how I ended up on your talk page\.)\n/g,'<span style="color:#639;">$1</span>\n');
        myContent = myContent.replace(/\<font color\=\#639\>(and welcome to Wikipedia\!  I\'m a regular contributor here\, and when I notice on the \[\[Special\:Recentchanges\|\<span style\=\"color\:\#03C\;\"\>recent changes\<\/span\>\]\] log that a new editor has registered\, I like to send them a welcome message - that\'s how I ended up on your talk page\.)\<\/font\>/g,'<span style="color:#639;">$1</span>');
        myContent = myContent.replace(/\<font color\=\#639\>(or place \<code\>\{\&\#123\;helpme\}\}\<\/code\> on your talk page and someone will show up shortly to answer your questions\.)\<\/font\>/g,'<span style="color:#639;">$1</span>');


        if(document.getElementById('wpTextbox1').value != myContent) {
             document.getElementById('wpTextbox1').value=myContent;
             document.getElementById('wpSummary').value='Fix font tag [[Special:LintErrors/tidy-font-bug|lint errors]]';
             document.getElementById('wpMinoredit').checked = true;
        }
    }
)}