From 897fe1f3e669dd6a200d010377c8f41003310de3 Mon Sep 17 00:00:00 2001
From: parrt <parrt@cs.usfca.edu>
Date: Sun, 3 Jan 2021 11:21:04 -0800
Subject: [PATCH] rm git submodule for PHP

---
 .gitmodules | 3 ---
 runtime/PHP | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 runtime/PHP

diff --git a/.gitmodules b/.gitmodules
index 7944e8e32..e69de29bb 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "runtime/PHP"]
-	path = runtime/PHP
-	url = https://github.com/antlr/antlr-php-runtime.git
diff --git a/runtime/PHP b/runtime/PHP
deleted file mode 160000
index 5f4930012..000000000
--- a/runtime/PHP
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 5f4930012c1601b0755ae5fc48828c3b0f3823d1