9
Bearbeitungen
MediaWiki:Gadget-Edittools.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
MediaWiki:Gadget-Edittools.js (Quelltext anzeigen)
Version vom 3. März 2016, 03:17 Uhr
, 3. März 2016Die Seite wurde neu angelegt: „/** * EditTools support: add a selector, change <a> into buttons. * The special characters to insert are defined at MediaWiki:Edittools. * * @author Ar…“
(Die Seite wurde neu angelegt: „/** * EditTools support: add a selector, change <a> into buttons. * The special characters to insert are defined at MediaWiki:Edittools. * * @author Ar…“) |
(kein Unterschied)
|