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

  way we prevent /*** from becoming a doc comment (as requested Derick).

diff --git a/Zend/zend_language_scanner.l b/Zend/zend_language_scanner.l
index 8ea022e0ba109b336ad2bf0d64849b668575d544..ed69423136c1180c788b85f04d3d8604e2d162c2 100644 (file)
--- a/Zend/zend_language_scanner.l
+++ b/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();