-- 212: Unused argument.
ignore = { "212" }

read_globals = {
	"core",
	"minetest",
	"vector",
}

globals = {
	"player_monoids",
}