# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1577132854 -3600
# Node ID 25f80afb1631a7109f8d23b611ba2c2b071248b5
# Parent  71b82567245c1983dad6a0cce558b6c3f06e4081
core.statsmanager: Ignore unused variable [luacheck]

diff -r 71b82567245c -r 25f80afb1631 core/statsmanager.lua
--- a/core/statsmanager.lua	Mon Dec 23 21:26:51 2019 +0100
+++ b/core/statsmanager.lua	Mon Dec 23 21:27:34 2019 +0100
@@ -79,6 +79,7 @@
 			if stats.get_stats then
 				changed_stats, stats_extra = {}, {};
 				for stat_name, getter in pairs(stats.get_stats()) do
+					-- luacheck: ignore 211/type
 					local type, value, extra = getter();
 					local old_value = latest_stats[stat_name];
 					latest_stats[stat_name] = value;