Merge branch 'master' of git://github.com/ajaxorg/ace
This commit is contained in:
commit
33ae14f4dd
1 changed files with 1 additions and 1 deletions
|
|
@ -1045,7 +1045,7 @@ var PhpHighlightRules = function() {
|
||||||
for (var i in this.$rules) {
|
for (var i in this.$rules) {
|
||||||
this.$rules[i].unshift({
|
this.$rules[i].unshift({
|
||||||
token : "support.php_tag", // php open tag
|
token : "support.php_tag", // php open tag
|
||||||
regex : "<\\?(?:php|\\=)",
|
regex : "<\\?(?:php|\\=)?",
|
||||||
next : "php-start"
|
next : "php-start"
|
||||||
});
|
});
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue