服务器新出bug，主城和矿区其他地方能被挖掘，notbuild会导致整个世界挖不了，玩家还需要挖矿所以不能用，worldguard，res领地和areaprotect都用不了，服务器是1.12.2的paper，想问一下有什么插件可以让部分地方不能挖，但玩家可以在矿区里挖矿

你WorldGuard 怎么就不能用了？
我看看你是怎么操作的