Merge branch 'release/3.2' into release/3.3

2025-09-08 19:02:59 +00:00 · 2018-10-21 18:16:59 +01:00
parent d749f19c73 45c9caa38c
commit 5e68858ebf
62 changed files with 120 additions and 49 deletions
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@ -991,6 +991,7 @@ class Server{

 	/**
 	 * @internal
+	 *
 	 * @param Level $level
 	 */
 	public function removeLevel(Level $level) : void{