menu
#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 PHP Extensions

  • Show