//<nowiki> /** Edittools 	2024-01-01 	 	Sonderzeichenmenü für [[MediaWiki:Edittools]], 	wird in [[MediaWiki:Common.js]] eingebunden. 	Lizenz: GNU-Lizenz für freie Dokumentation  	Möglicherweise muss <charinsert>-Tag zukünftig ersetzt werden. */  ( function ( $ ) { 	'use strict';  	var specialchars = $( '#voy-edit-special-chars' ), p = $( 'p', specialchars );  	var chooseCharSubset = function( e ) { 		p.css( 'display', 'none' ) 			.eq( e.target.selectedIndex ).css( 'display', 'inline' ); 	};  	var addSelector = function() { 		var options = ''; 		p.each( function() { 			$( this ).addClass( 'voy-edit-chars-group' ); 			options += '<option>' + $( this ).attr( 'id' ) + '</option>'; 		} );  		$( '<select></select>' ).append( $( options ) ) 			.css( 'display', 'inline' ) 			.prependTo( specialchars ) 			.prop( 'selectedIndex', 0 ) 			.change( chooseCharSubset ) 			.trigger( 'change' ); 	};  	var action = mw.config.get( 'wgAction' ); 	if ( specialchars.length && ( action === 'edit' || action === 'submit' )) { 		addSelector(); 		$( '.editOptions' ).before( $( '.mw-editTools' ) ); 		specialchars.show(); 	} } ( jQuery ) ); //</nowiki>