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