Uzanto:WOSlinker/common.js
Notu:Post publikigo forviŝu la kaŝmemoron de via foliumilo por vidi la ŝanĝojn.
- Firefox / Safari: Premu majuskligan klavon klakante Reŝarĝi, aŭ premu aŭ Stir-F5 aŭ Stir-R (⌘-R kun Makintoŝo)
- Google Chrome: Premu Stir-majuskligklavon-R (⌘-Majuskligklavo-R kun Makintoŝo)
- Interreta Esplorilo / Edge: Premu Stir klakante Refreŝu, aŭ premu Stir-F5
- Opera: Premu Stir-F5.
function font_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 'font edit' tab
if(mw.config.get('wgArticleId') != 0 ) {
$( function fontEditButton() {
mw.util.addPortletLink('p-cactions',
mw.util.getUrl(null,{action:'edit',font:true}),
'font',
'p-font',
'font edit');
}
)}
if(mw.config.get('wgAction') == 'edit' && font_queryString('font') == 'true') {
$(function font() {
var myContent = document.getElementById('wpTextbox1').value;
myContent = myContent.replace(/\<font color *\= *\"\#([\d\w]*)\"\>\[\[(.*?)\|(.*?)\]\]\<\/font\>/g,'[[$2|<font color="#$1">$3</font>]]');
myContent = myContent.replace(/\<font color *\= *\"\#([\d\w]*)\"\>\[\[(.*?)\]\]\<\/font\>/g,'[[$2|<font color="#$1">$2</font>]]');
myContent = myContent.replace(/\<font color *\= *\#([\d\w]*)\>\[\[(.*?)\|(.*?)\]\]\<\/font\>/g,'[[$2|<font color="#$1">$3</font>]]');
myContent = myContent.replace(/\<font color *\= *\#([\d\w]*)\>\[\[(.*?)\]\]\<\/font\>/g,'[[$2|<font color="#$1">$2</font>]]');
myContent = myContent.replace(/\<font color *\= *\"([\w]*)\"\>\[\[(.*?)\|(.*?)\]\]\<\/font\>/g,'[[$2|<font color="$1">$3</font>]]');
myContent = myContent.replace(/\<font color *\= *\"([\w]*)\"\>\[\[(.*?)\]\]\<\/font\>/g,'[[$2|<font color="$1">$2</font>]]');
myContent = myContent.replace(/\<font color *\= *([\w]*)\>\[\[(.*?)\|(.*?)\]\]\<\/font\>/g,'[[$2|<font color=$1>$3</font>]]');
myContent = myContent.replace(/\<font color *\= *([\w]*)\>\[\[(.*?)\]\]\<\/font\>/g,'[[$2|<font color=$1>$2</font>]]');
if(document.getElementById('wpTextbox1').value != myContent) {
document.getElementById('wpTextbox1').value=myContent;
document.getElementById('wpSummary').value='font [[Specialaĵo:LintErrors/tidy-font-bug|lint]]';
document.getElementById('wpMinoredit').checked = true;
}
}
)}