https://bugzilla.wikimedia.org/show_bug.cgi?id=17485
Summary: Usage of wgProfileLimit not implemented
Product: MediaWiki
Version: 1.13.3
Platform: All
OS/Version: Linux
Status: NEW
Severity: minor
Priority: Normal
Component: Maintenance scripts
AssignedTo: [email protected]
ReportedBy: [email protected]
While the documentation claims this parameter to be still in use, it is in fact
not used by the software. It's fairly simple to implement it.
Example for Profiler.php:
global $wgProfileLimit;
if (((float) ($elapsed * 1000)) >= $wgProfileLimit) {
$prof .= sprintf($format, substr($fname, 0, $nameWidth), $calls, (float)
($elapsed * 1000), (float) ($elapsed * 1000) / $calls, $percent, $memory,
($this->mMin[$fname] * 1000.0), ($this->mMax[$fname] * 1000.0),
$this->mOverhead[$fname]);
}
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
