42 if($sender instanceof
Player){
43 $seed = $sender->getPosition()->getWorld()->getSeed();
45 $seed = $sender->getServer()->getWorldManager()->getDefaultWorld()->getSeed();
47 $sender->sendMessage(KnownTranslationFactory::commands_seed_success((
string) $seed));