mirror of
https://github.com/php/php-src.git
synced 2024-11-25 19:05:31 +08:00
- Fix doc comment handling
This commit is contained in:
parent
0a9e940ab7
commit
e3a5c9f1d7
@ -1167,6 +1167,7 @@ NEWLINE ("\r"|"\n"|"\r\n")
|
||||
|
||||
|
||||
<ST_IN_SCRIPTING>"}" {
|
||||
RESET_DOC_COMMENT();
|
||||
/* This is a temporary fix which is dependant on flex and it's implementation */
|
||||
if (yy_start_stack_ptr) {
|
||||
yy_pop_state(TSRMLS_C);
|
||||
|
Loading…
Reference in New Issue
Block a user