diff options
| author | Marcus Boerger <helly@php.net> | 2004-06-10 13:38:31 +0000 |
|---|---|---|
| committer | Marcus Boerger <helly@php.net> | 2004-06-10 13:38:31 +0000 |
| commit | 4da11644de3d04c88bd1ed04bed5a46c83bb7c7a (patch) | |
| tree | 84ac852ef1f0079c2df04e6fc8ecc56c952fa207 /Zend/zend_language_scanner.l | |
| parent | c756609658e7df972f02bd05bb4657f01c89b9dd (diff) | |
| download | php-git-4da11644de3d04c88bd1ed04bed5a46c83bb7c7a.tar.gz | |
- Require a single white-space char after /** to start a doc comment that
way we prevent /*** from becoming a doc comment (as requested Derick).
Diffstat (limited to 'Zend/zend_language_scanner.l')
| -rw-r--r-- | Zend/zend_language_scanner.l | 2 |
1 files changed, 1 insertions, 1 deletions
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(); |