MediaWiki:Gadget-Edittools.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K
MediaWiki:Gadget-Edittools.js (Quelltext anzeigen)
Version vom 3. April 2020, 12:00 Uhr
, 3. April 2020korr
(akt) |
K (korr) |
||
Zeile 7: | Zeile 7: | ||
* @author Krinkle, 2012 | * @author Krinkle, 2012 | ||
* @source www.mediawiki.org/wiki/MediaWiki:Gadget-Edittools.js | * @source www.mediawiki.org/wiki/MediaWiki:Gadget-Edittools.js | ||
* @revision | * @revision 2018-12-17 | ||
*/ | */ | ||
/*jslint browser: true*/ | /*jslint browser: true*/ |