MediaWiki:Gadget-Edittools-vector.js:修订间差异

无编辑摘要
imported>=海豚=
无编辑摘要
imported>=海豚=
无编辑摘要
第14行: 第14行:


/* If the user manually chose this gadget */
/* If the user manually chose this gadget */
if ( mw.user.options.get('gadget-Edittools-vector') ) {
    customizeToolbar( function() {
    customizeToolbar( function() {
      this.wikiEditor('addToToolbar', {
      this.wikiEditor('addToToolbar', {
匿名用户