mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-07 23:50:18 +09:00
Add PHP Keywords
- trait (PHP 5.5) - iterable (PHP 7.1) - void (PHP 7.1) see https://github.com/ejmr/php-mode/pull/317
This commit is contained in:
@@ -3,7 +3,7 @@ color default start="<\?(php|=)?" end="\?>"
|
||||
|
||||
color special "([a-zA-Z0-9_-]+)\("
|
||||
|
||||
color identifier "(var|class|goto|extends|function|echo|case|break|default|exit|switch|foreach|endforeach|while|const|static|extends|as|require|include|require_once|include_once|define|do|continue|declare|goto|print|in|interface|[E|e]xception|array|int|string|bool)[\s|\)]"
|
||||
color identifier "(var|class|goto|extends|function|echo|case|break|default|exit|switch|foreach|endforeach|while|const|static|extends|as|require|include|require_once|include_once|define|do|continue|declare|goto|print|in|trait|interface|[E|e]xception|array|int|string|bool|iterable|void)[\s|\)]"
|
||||
|
||||
color identifier "[a-zA-Z\\]+::"
|
||||
|
||||
@@ -27,4 +27,4 @@ color default "[\(|\)|/|+|-|\*|\[|,|;]"
|
||||
color constant.string "('.*?'|\".*?\")"
|
||||
|
||||
color comment start="/\*" end="\*/"
|
||||
color comment "(#.*|//.*)$"
|
||||
color comment "(#.*|//.*)$"
|
||||
|
||||
Reference in New Issue
Block a user