diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2021-11-21 03:36:02 +0100 |
|---|---|---|
| committer | Guldoman <giulio.lettieri@gmail.com> | 2021-11-21 03:36:02 +0100 |
| commit | 330da1ed0bdd316399ad5cdc00c006a98394bd6a (patch) | |
| tree | 69b8d5596ff97721db5789d073ffdedfca0ceb58 /plugins/language_php.lua | |
| parent | bc0a289a79294445de9b0001bdaada93d801dadd (diff) | |
| download | lite-xl-plugins-330da1ed0bdd316399ad5cdc00c006a98394bd6a.tar.gz lite-xl-plugins-330da1ed0bdd316399ad5cdc00c006a98394bd6a.zip | |
Add names to language plugins
Diffstat (limited to 'plugins/language_php.lua')
| -rw-r--r-- | plugins/language_php.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/language_php.lua b/plugins/language_php.lua index 5ee6a93..610d77d 100644 --- a/plugins/language_php.lua +++ b/plugins/language_php.lua @@ -12,6 +12,7 @@ require "plugins.language_js" -- define the core php syntax coloring syntax.add { + name = "PHP", files = { "%.phps$" }, headers = "^<%?php", comment = "//", |