MediaWiki talk:Gadget-Edittools.js

See MediaWiki talk:Edittools.

Previous discussion was archived at MediaWiki talk:Gadget-Edittools.js/Archive 1 on 2018-11-01.

It is still showing * @revision 2012-02-29 and needs to be * @revision 2018-12-17

Thanks a lot.

 Done

The gadget's a bit of a muddle for a simple drop-in of:

$currentFocused = $( '#wpTextbox1' );
if ( $currentFocused.length ) {
	$currentFocused.textSelection(
		'encapsulateSelection', {
			pre: start,
			peri: '',
			post: end
		}
	);
}

Sorry.