Manual:$wgProfileLimit
Deze functie is verwijderd uit de core van MediaWiki in versie 1.35.0.
Zie $wgProfiler['threshold'] voor alternatieve manieren om gebruik te maken van deze functie. |
Profileren: $wgProfileLimit | |
---|---|
Alleen recordprofielinformatie voor pagina's die langer dan dit aantal seconden nodig hadden om te laden. |
|
Geïntroduceerd in versie: | vóór 1.1.0 |
Verouderd in versie: | 1.25.0 (Gerrit change 201384; git #1b6f7008) |
Verwijderd in versie: | 1.35.0 (Gerrit change 580086; git #c75a4ac1) |
Toegelaten waardes: | Niet opgegeven |
Standaardwaarde: | 0.0 |
Andere instellingen: Alfabetisch | Per functie |
Details
Alleen recordprofielinformatie voor pagina's die langer dan dit aantal seconden nodig hadden om te laden. De waarde is in secondes.