Manual:$wgProfileOnly
Deze functie is verwijderd uit de core van MediaWiki in versie 1.35.0.
Zie $wgProfiler['output'] voor alternatieve manieren om gebruik te maken van deze functie. |
Profileren: $wgProfileOnly | |
---|---|
Zet geen niet-profileringsinformatie in het logbestand. |
|
Geïntroduceerd in versie: | vóór 1.1.0 |
Verouderd in versie: | 1.23.0 (Gerrit change 121336; git #d966a526) |
Verwijderd in versie: | 1.35.0 (Gerrit change 560355; git #049dd15d) |
Toegelaten waardes: | (boolean) |
Standaardwaarde: | false |
Andere instellingen: Alfabetisch | Per functie |
Details
Zet geen niet-profileringsinformatie in het logbestand.
Sinds MediaWiki 1.23 kunt u het logbestand in
$wgDebugLogGroups ['profileoutput']
instellen om dezelfde functionaliteit te bereiken.