Tools Plugins DeluxePlayerOptions Minecraft Plugin By PedroJM96 Player options menu to use in the lobby Plugin links Resource Spigot Placeholders 0 documented placeholders. Placeholder Description Copy Permissions 0 documented permission nodes. Permission Description Copy