From: Marcus Boerger <helly@php.net>
Date: Thu, 10 Jun 2004 13:38:31 +0000 (+0000)
Subject: - Require a single white-space char after /** to start a doc comment that
X-Git-Tag: php-5.0.0~231
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4da11644de3d04c88bd1ed04bed5a46c83bb7c7a;p=php

- 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 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();