MediaWiki:Gadget-Edittools.js: Unterschied zwischen den Versionen
MediaWiki:Gadget-Edittools.js (Quelltext anzeigen)
Version vom 3. April 2020, 12:00 Uhr
, 3. April 2020korr
(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…“) |
K (korr) |
||
| (2 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| 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*/ | ||
| Zeile 117: | Zeile 117: | ||
$links = $section.find('a'); | $links = $section.find('a'); | ||
$links.each(function (i, a) { | $links.each(function (i, a) { | ||
var $a, button; | var $a, $button, start, end; | ||
$a = $(a); | $a = $(a); | ||
button = | $button = $( '<input>' ).attr( 'type', 'button' ); | ||
start = $a.data( 'mw-charinsert-start' ); | |||
button.onclick = a.onclick; | end = $a.data( 'mw-charinsert-end' ); | ||
button.value = $a.text(); | if ( start !== undefined && end !== undefined ) { | ||
$a.replaceWith(button); | $button.click( function( e ) { | ||
e.preventDefault(); | |||
$('#wpTextbox1').textSelection('encapsulateSelection', {pre: start, post: end}); | |||
} ); | |||
} else { | |||
$button[0].onclick = a.onclick; | |||
} | |||
$button[0].value = $a.text(); | |||
$a.replaceWith($button); | |||
}); | }); | ||
} | } | ||