跳转到内容

“MediaWiki:Gadget-specialchars.js”的修订纪录

差异选择:选中要对比的修订的单选按钮,然后按Enter键或下面的按钮。
说明:(当前)=与最后修订的差异,(之前)=与上个修订的差异,=小编辑。

2022年12月8日 (星期四)

  • 当前之前 14:322022年12月8日 (四) 14:32 入我相思门 留言 贡献 604字节 +604 创建页面,内容为“(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…”