Ori.livneh has submitted this change and it was merged.
Change subject: Typo fix (MEMORY->MEM)
......................................................................
Typo fix (MEMORY->MEM)
Change-Id: I9a4229eb5cf2e8ac80a3c57c4c815c5235078443
---
M engines/LuaSandbox/Engine.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ori.livneh: Verified; Looks good to me, approved
diff --git a/engines/LuaSandbox/Engine.php b/engines/LuaSandbox/Engine.php
index 817b442..019c6b4 100644
--- a/engines/LuaSandbox/Engine.php
+++ b/engines/LuaSandbox/Engine.php
@@ -30,7 +30,7 @@
public function getResourceUsage( $resource ) {
switch ( $resource ) {
- case self::MEMORY_PEAK_BYTES:
+ case self::MEM_PEAK_BYTES:
return $this->interpreter->getPeakMemoryUsage();
case self::CPU_SECONDS:
return $this->interpreter->getCPUUsage();
--
To view, visit https://gerrit.wikimedia.org/r/249923
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9a4229eb5cf2e8ac80a3c57c4c815c5235078443
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Scribunto
Gerrit-Branch: wmf/1.27.0-wmf.4
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
