diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-02-16 05:57:28 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-02-16 05:57:28 -0400 |
| commit | d1d4187eafccc20842cd8aca90c5d57edd6ab2ab (patch) | |
| tree | 72fcb089407c700afc699b283a0e6a7ebe67e67d /plugins | |
| parent | c1d68c445e2189b37040a09de41d895d52c8d641 (diff) | |
| download | lite-xl-plugins-d1d4187eafccc20842cd8aca90c5d57edd6ab2ab.tar.gz lite-xl-plugins-d1d4187eafccc20842cd8aca90c5d57edd6ab2ab.zip | |
language_php: properly set names to the multiple syntax definitions
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/language_php.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/language_php.lua b/plugins/language_php.lua index 2cf74d2..fa1992a 100644 --- a/plugins/language_php.lua +++ b/plugins/language_php.lua @@ -12,7 +12,7 @@ require "plugins.language_js" -- define the core php syntax coloring syntax.add { - name = "PHP", + name = "PHP Source", files = { "%.phps$" }, headers = "^<%?php", comment = "//", @@ -149,6 +149,7 @@ syntax.add { -- allows html, css and js coloring on php files syntax.add { + name = "PHP", files = { "%.php$", "%.phtml" }, comment = "//", patterns = { |