From 3fadb2c3f45a528a715733ba41c273289ef8ffb1 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Wed, 19 Jun 2019 13:36:15 +0100
Subject: [PATCH] 1.13.4

---
 plugin.yml                     | 2 +-
 src/DevTools/ConsoleScript.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugin.yml b/plugin.yml
index 5f5fdc7..d84bcb9 100644
--- a/plugin.yml
+++ b/plugin.yml
@@ -1,6 +1,6 @@
 name: DevTools
 main: DevTools\DevTools
-version: 1.13.3
+version: 1.13.4
 api: [3.4.0]
 load: STARTUP
 author: PocketMine Team
diff --git a/src/DevTools/ConsoleScript.php b/src/DevTools/ConsoleScript.php
index 275784f..7ce589a 100644
--- a/src/DevTools/ConsoleScript.php
+++ b/src/DevTools/ConsoleScript.php
@@ -17,7 +17,7 @@
  * GNU General Public License for more details.
 */
 
-const DEVTOOLS_VERSION = "1.13.3";
+const DEVTOOLS_VERSION = "1.13.4";
 
 const DEVTOOLS_REQUIRE_FILE_STUB = '<?php require("phar://" . __FILE__ . "/%s"); __HALT_COMPILER();';
 const DEVTOOLS_PLUGIN_STUB = '