「MediaWiki:Gadgets-definition」の版間の差分
→editing-gadgets: charinsertを一旦外す（正常に作動していないため） |
→editing-gadgets: 問題があるのはEdittoolsのほうだった……。charinsertはすでに無効なのでまとめて削除 |
||
| 5行目: | 5行目: | ||
* SummaryEnterSave[ResourceLoader]|SummaryEnterSave.js | * SummaryEnterSave[ResourceLoader]|SummaryEnterSave.js | ||
* StyleGuide[ResourceLoader]|StyleGuide.js | * StyleGuide[ResourceLoader]|StyleGuide.js | ||
== interface-gadgets == | == interface-gadgets == | ||