Manual:$wgAlwaysUseTidy
| この機能は、バージョン 1.26.0 で MediaWiki コアから除去されました。 この機能を使用するための代替方法については $wgTidyConfig を参照してください。 |
| Tidy: $wgAlwaysUseTidy | |
|---|---|
| 常に Tidy を使用 |
|
| 導入されたバージョン: | 1.6.0 (r12844) |
| 除去されたバージョン: | 1.26.0 (Gerrit change 235401; git #2c6c954e) |
| 許容される値: | (真偽値) |
| 既定値: | false |
| その他の設定: アルファベット順 | 機能順 | |
詳細
In some internal places in MediaWiki (mainly when generating parts of the interface), HTML Tidy is not used by default, even when $wgUseTidy is turned on. If you want to override this, and always use HTML Tidy for every bit of wikitext parsing, you can set this option to true.
It is unclear why you would want to do this; your server performance will most likely suffer. However, if MediaWiki is continuing to generate incorrect HTML even when $wgUseTidy is turned on, it is worth trying this as a "quick fix" until the underlying issue can be located and resolved.