Time Nick Message 00:26 Zughy[m]1 Two weeks to check one single string, come on people: #10779 . Also, comments in the PR are replicating the exact same comments in the issue. This is annoying, as there is a "Supported by core dev" tag 00:26 ShadowBot https://github.com/minetest/minetest/issues/10779 -- Local tab: rename 'Configure' to 'World Mods' by Zughy 00:42 sfan5 I gave my thumbs up for "Configure Mods" but seeing as 'World Mods' has support in the issue I'll just go approve it 00:43 sfan5 (but it's not clear if the label should indicate coredev support for changing the string or for a specific new proposed string) 00:46 rubenwardy World Mods isn't accurate given that world mods exists 05:42 lhofhansl #10340 causes problems for normal scenarios - when the server is laggy due to slow Lua for example. Need to revert or fix. 05:42 ShadowBot https://github.com/minetest/minetest/issues/10340 -- Patch fast/teleport vulnerability when attached to an entity by EliasFleckenstein03 08:52 MTDiscord reasonable fix: lag threshold disabling all cheat detection 10:17 Zughy[m]1 I mean, just give me the right term and I'll put it 10:24 MTDiscord I am advocate for "Select Mods" 16:39 Krock Enabled Mods 16:39 Krock but it's really better to stick with one of the popular options. there's no single "good" option and the discussion would be endless 16:41 Krock I don't think "World Mods" causes much of a confusion with worlds/world/mods/ because that's a rarely used feature, and could be seen as loaded-by-default "world mods" 17:44 rubenwardy Sure 18:30 nerzhul Global mods ? 18:40 rubenwardy I think it also makes sense to move Creative and Damage into [Configure] and [New World], rather than check boxes on the screen, but this shouldn't block changing the button now 21:11 Zughy[m]1 I guess Select Mods is the safest bet 21:14 MTDiscord yay