Jackmcbarn has uploaded a new change for review. https://gerrit.wikimedia.org/r/176669
Change subject: Remove unused variable ...................................................................... Remove unused variable Change-Id: I31c339dd68081a6c3d140011dc7c00eb2ddbef64 --- M engines/LuaSandbox/Engine.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Scribunto refs/changes/69/176669/1 diff --git a/engines/LuaSandbox/Engine.php b/engines/LuaSandbox/Engine.php index 2446594..cf2cb4c 100644 --- a/engines/LuaSandbox/Engine.php +++ b/engines/LuaSandbox/Engine.php @@ -209,7 +209,7 @@ } class Scribunto_LuaSandboxInterpreter extends Scribunto_LuaInterpreter { - public $engine, $sandbox, $libraries, $profilerEnabled; + public $engine, $sandbox, $profilerEnabled; const SAMPLES = 0; const SECONDS = 1; -- To view, visit https://gerrit.wikimedia.org/r/176669 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I31c339dd68081a6c3d140011dc7c00eb2ddbef64 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Scribunto Gerrit-Branch: master Gerrit-Owner: Jackmcbarn <jackmcb...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits