DevTools 1.15.0

pmmp · Dec 2, 2021 · 5646e75 · 5646e75
1 parent 3946d78
commit 5646e75
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/plugin.yml b/plugin.yml
@@ -1,7 +1,7 @@
 name: DevTools
 main: DevTools\DevTools
 src-namespace-prefix: DevTools
-version: 1.15.0+dev
+version: 1.15.0
 api: [4.0.0]
 load: STARTUP
 author: PocketMine Team

diff --git a/src/ConsoleScript.php b/src/ConsoleScript.php
@@ -17,7 +17,7 @@
  * GNU General Public License for more details.
 */
 
-const DEVTOOLS_VERSION = "1.14.2";
+const DEVTOOLS_VERSION = "1.15.0";
 
 const DEVTOOLS_REQUIRE_FILE_STUB = '<?php require("phar://" . __FILE__ . "/%s"); __HALT_COMPILER();';
 const DEVTOOLS_PLUGIN_STUB = '