modify plugin name

2022-06-16 17:38:23 +08:00
parent 10de6b5246
commit 4daad7d111
22 changed files with 1206 additions and 70 deletions
@@ -12,6 +12,6 @@ interface OnTaskInterface
 	public function execute();


-	public function finish(Server $server, int $task_id);
+	public function finish(?Server $server, int $task_id);

 }