「MediaWiki:Gadgets-definition」の版間の差分
AddBackToc→AddBackTop こうすれば目次非表示時でも問題なく動作するはず |
forceMobileTocを除去（バージョンアップで不具合が起きてるっぽい） |
||
| 17行目: | 17行目: | ||
== test-gadgets == | == test-gadgets == | ||
* PrettyDiff[ResourceLoader]|PrettyDiff.js | * PrettyDiff[ResourceLoader]|PrettyDiff.js | ||