diff --git a/tools/phptools b/tools/phptools
deleted file mode 160000
index d232cb3..0000000
--- a/tools/phptools
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d232cb3e4f1448daccefc74882da1862cda7656f