DevTools 1.12.9

pmmp · Feb 4, 2018 · 96fa93a · 96fa93a
1 parent b8bb6e6
commit 96fa93a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/plugin.yml b/plugin.yml
@@ -1,7 +1,7 @@
 name: DevTools
 main: DevTools\DevTools
-version: 1.12.8
-api: [3.0.0-ALPHA7, 3.0.0-ALPHA8, 3.0.0-ALPHA9, 3.0.0-ALPHA10]
+version: 1.12.9
+api: [3.0.0-ALPHA7, 3.0.0-ALPHA8, 3.0.0-ALPHA9, 3.0.0-ALPHA10, 3.0.0-ALPHA11]
 load: STARTUP
 author: PocketMine Team
 description: Helps develop and distribute PocketMine-MP plugins

diff --git a/src/DevTools/ConsoleScript.php b/src/DevTools/ConsoleScript.php
@@ -15,7 +15,7 @@
  * GNU General Public License for more details.
 */
 
-const VERSION = "1.12.8";
+const VERSION = "1.12.9";
 
 $opts = getopt("", ["make:", "relative:", "out:", "entry:", "compress", "stub:"]);