User:H.p.frei/global.js
Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5.
mw.loader.load("//tools.wmflabs.org/deadlinkfinder/script.js");
mw.loader.load('//meta.wikimedia.org/w/index.php?title=User:Hedonil/XTools/XTools.js&action=raw&ctype=text/javascript');
// install User:Cacycle/wikEdDiff enhanced diff
mw.loader.load('//en.wikipedia.org/w/index.php?title=User:Cacycle/wikEdDiff.js&action=raw&ctype=text/javascript');
//Benutzer:Schnark/js/virtuelleEinzelnachweise
importScript('Benutzer:Schnark/js/virtuelleEinzelnachweise.js');
// [[Benutzer:PerfektesChaos/js/WikiSyntaxTextMod]]
mw.libs.WikiSyntaxTextMod = { config: { format: { },
lang: { },
load: { },
mod: { },
page: { },
portlet: { },
warn: { }
}
};
mw.loader.load("//en.wikipedia.org/w/index.php?title=User:PerfektesChaos/js/WikiSyntaxTextMod/r.js&action=raw&bcache=1&maxage=604800&ctype=text/javascript",
"text/javascript");
mw.loader.load( '//de.wikipedia.org/w/index.php?title=Benutzer:TMg/autoFormatter.js&action=raw&ctype=text/javascript' );
var autoFormatReplacements = [
['e.V.', 'e. V.'],
['u.a.', 'u. a.'],
['z.B.', 'z. B.'],
['d.h.', 'd. h.'],
['Abs.\\d', 'Abs. \\d'],
['...', '…'],
['\\w\'\\w', '\\w’\\w'],
['==\n\n', '==\n'],
['\\w.\n==', '\\w.\n\n=='],
['miniatur', 'mini'],
['\\w\,\\w', '\\w, \\w'],
['<sup>st</sup>', 'st'],
['<sup>nd</sup>', 'nd'],
['<sup>rd</sup>', 'rd'],
['<sup>th</sup>', 'th'],
['<ref name=\\w\ >', '<ref name="\\w">'],
['<ref name=\\w\ />', '<ref name="\\w" />'],
['{{PAGENAME}}', '{{subst:PAGENAME}}'],
['{{!}}', '|'],
['\n;\\w', '\n'''\\w']
[
/ +<ref\b/g,
'<ref'
],
[
/(\n[*#]+) *([^\s*#:;])/g,
'$1 $2'
],
[
/([^\s=|] ) +(?=[^\s=|])/g,
'$1'
],
[
/(\{\{SORTIERUNG:|\[\[Kategorie:[^\n[\]|]*\|)(?:#:+)?0*(\d+(?:\.\d{3})*)(?!\d)/g,
function($0, $1, $2)
{
return $1 + '#' + $2.replace(/\d\D*/g, ':') + $2.replace(/\D+/g, '');
}
],
];