跳转到内容

MediaWiki:Gadget-specialchars.js:修订间差异

勤求古训,博采众方
创建页面,内容为“(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() { $('<op…”
 
(没有差异)

2022年12月8日 (四) 14:32的最新版本

(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);