MediaWiki:Gadget-specialchars.js

注意：保存之后，你必须清除浏览器缓存才能看到做出的更改。Google Chrome、Firefox、Microsoft Edge及Safari：按住⇧ Shift键并单击工具栏的“刷新”按钮。参阅Help:绕过浏览器缓存以获取更多帮助。

(function($, mw) {
	mw.loader.using('ext.wikiEditor', function() {
		var $toolbar = $('#toolbar, #wikiEditor-ui-toolbar');
		var $specialchars = $('#editpage-specialchars');
		if ($toolbar.length == 0 || $specialchars.length == 0) {
			return;
		}
		var $menu = $('<select/>').css('display', 'inline').change(function(e) {
			$specialchars.find('p').hide().eq(this.selectedIndex).css('display', 'inline');
		});
		$specialchars.find('p').each(function() {
			$('<option/>').text(this.title).appendTo($menu);
		});
		$specialchars.prepend($menu.change()).insertAfter($toolbar);
	});
})(jQuery, mediaWiki);