Even if "mesa" biome was renamed to "badlands" in 1.13, a mineshaft structure type is still called "mesa" (the other type being "normal").
Should be renamed to "badlands" for consistency
Attachments
Comments 12
And you are basing this info about the code on what source? Minecraft is not an open source application.
Can confirm in 1.19.2. You can reproduce this issue by executing the following command and observing how it functions. therefore indicating that mineshafts within badlands biomes are still referred to as "mesa mineshafts".
/locate structure minecraft:mineshaft_mesa/locate structure minecraft:mineshaft_mesa
Where exactly does the old term still show up?