Browse Source

- Require a single white-space char after /** to start a doc comment that

way we prevent /*** from becoming a doc comment (as requested Derick).
PHP-5.0
Marcus Boerger 22 years ago
parent
commit
4da11644de
  1. 2
      Zend/zend_language_scanner.l

2
Zend/zend_language_scanner.l

@ -1445,7 +1445,7 @@ NEWLINE ("\r"|"\n"|"\r\n")
}
}
<ST_IN_SCRIPTING>"/**" {
<ST_IN_SCRIPTING>"/**"WHITESPACE {
CG(comment_start_line) = CG(zend_lineno);
BEGIN(ST_DOC_COMMENT);
yymore();

Loading…
Cancel
Save