Manual:$wgTidyInternal/ja

詳細
通常、デバッギング以外では設定を無効にする必要はありません. インストールするためには、' 'を用い、php.ini に ' ' の行を追加してください.