diff options
author | jgmdev <jgmdev@gmail.com> | 2022-03-15 02:58:28 -0400 |
---|---|---|
committer | jgmdev <jgmdev@gmail.com> | 2022-03-15 02:58:28 -0400 |
commit | 421bf428b55614d476ed3c69b553d34caefff55c (patch) | |
tree | 1a0e5541f7a0cb380a9aa99c1a518c18f70bd157 | |
parent | f0d50a9854d0c05819667561d02426344d006ba9 (diff) | |
download | lite-xl-plugins-421bf428b55614d476ed3c69b553d34caefff55c.tar.gz lite-xl-plugins-421bf428b55614d476ed3c69b553d34caefff55c.zip |
language_php: added block_comment declaration
-rw-r--r-- | plugins/language_php.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/language_php.lua b/plugins/language_php.lua index 81cf49e..83bd901 100644 --- a/plugins/language_php.lua +++ b/plugins/language_php.lua @@ -16,6 +16,7 @@ syntax.add { files = { "%.phps$" }, headers = "^<%?php", comment = "//", + block_comment = {"/*", "*/"}, patterns = { -- Attributes { pattern = {"#%[", "%]"}, type = "normal" }, @@ -155,6 +156,7 @@ syntax.add { name = "PHP", files = { "%.php$", "%.phtml" }, comment = "//", + block_comment = {"/*", "*/"}, patterns = { { pattern = { |