Manual:$wgElementTiming
この機能は、バージョン 1.39.0 で完全に除去されました。 |
その他の設定: $wgElementTiming | |
---|---|
Element Timing を有効にする。 |
|
導入されたバージョン: | 1.33.0 (Gerrit change 497468; git #e83e1fc) |
除去されたバージョン: | 1.39.0 (Gerrit change 793008; git #ebffc4f6) |
許容される値: | (真偽値) |
既定値: | false |
その他の設定: アルファベット順 | 機能順 |