#7034320 Cannot declare class DentingMc\Random, because the name is already in use
Submitted by PocketMine-MP 4.5.1
General information
Version: | 4.5.1 |
---|---|
Git commit: | d641812c |
Plugin involvement: | Direct |
Report date: | 2022-06-23 11:09:59 +0000 UTC |
Server uptime: | 0 days 0 hours 0 minutes 0 seconds |
System Information
PHP version: | 8.0.19 |
---|---|
Operating system: | linux |
System banner: | Linux caeb3ad6-b938-4173-b642-7847931ff6c2 5.10.0-0.bpo.9-amd64 #1 SMP Debian 5.10.70-1~bpo10+1 (2021-10-10) x86_64 |
Error information
Warning: a plugin was directly involved in this crash. Please contact the plugin author.
Message: | Cannot declare class DentingMc\Random, because the name is already in use |
---|---|
File: | plugins/RandomOreDenting/src/DentingMc/Main |
Line: | #10 |
Error level: | E_COMPILE_ERROR |
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
<?php
namespace DentingMc;
use pocketmine\block\BlockLegacyIds;
use pocketmine\event\block\BlockBreakEvent;
use pocketmine\event\Listener;
use pocketmine\plugin\PluginBase as PL;
class Random extends PL implements Listener{
public function onEnable() : void{
$this->getServer()->getPluginManager()->registerEvents($this,$this);
}
public function onBreak(BlockBreakEvent $event) {
$block = $event ->getBlock();
if($block->getId() === BlockLegacyIds::LAPIS_ORE) {
$num = mt_rand(1, 100);
Loaded Plugins
-
Show
Server Settings
-
Show
Installed Composer Dependencies
-
Show
Installed PHP Extensions
-
Show