From 4da11644de3d04c88bd1ed04bed5a46c83bb7c7a Mon Sep 17 00:00:00 2001
From: Marcus Boerger <helly@php.net>
Date: Thu, 10 Jun 2004 13:38:31 +0000
Subject: [PATCH] - Require a single white-space char after /** to start a doc
 comment that   way we prevent /*** from becoming a doc comment (as requested
 Derick).

---
 Zend/zend_language_scanner.l | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Zend/zend_language_scanner.l b/Zend/zend_language_scanner.l
index 8ea022e0ba..ed69423136 100644
--- 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();
-- 
2.50.1