From b87b1bd32d5ea65dccc5bf22149e394ef84cf31a Mon Sep 17 00:00:00 2001
From: John Isom <John.Isom2001@gmail.com>
Date: Tue, 28 Jul 2020 20:49:17 -0600
Subject: [PATCH] Update deindenting in php.kak

---
 rc/filetype/php.kak | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rc/filetype/php.kak b/rc/filetype/php.kak
index 9b43bb68..3c922e78 100644
--- a/rc/filetype/php.kak
+++ b/rc/filetype/php.kak
@@ -94,7 +94,7 @@ define-command -hidden php-indent-on-new-line %<
         # append " * " on lines starting a multiline /** or /* comment
     	try %{ execute-keys -draft k <a-x> s ^\h*/[*][* ]? <ret> j gi i <space>*<space> }
     	# deindent closer token(s) when after cursor
-    	try %_ execute-keys -draft <a-x> <a-k>^\h*[})]+\h*(?://.*)?$<ret> <a-/> [})] <ret> m <a-S> 1<a-&> _
+    	try %_ execute-keys -draft <a-x> <a-k>^\h*[})]+\h*(?://.*)?$<ret> \; <a-/> [})] <ret> m <a-S> 1<a-&> _
     >
 >