mirror of
https://github.com/php/php-src.git
synced 2024-09-22 02:17:32 +00:00
Do not require NEWLINE at start of doccomment
This commit is contained in:
parent
17a363a8f8
commit
eefdd0ea49
@ -1445,7 +1445,7 @@ NEWLINE ("\r"|"\n"|"\r\n")
|
||||
}
|
||||
}
|
||||
|
||||
<ST_IN_SCRIPTING>"/**"{NEWLINE} {
|
||||
<ST_IN_SCRIPTING>"/**" {
|
||||
CG(comment_start_line) = CG(zend_lineno);
|
||||
BEGIN(ST_DOC_COMMENT);
|
||||
yymore();
|
||||
|
Loading…
Reference in New Issue
Block a user