X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/util/CommentRecorderScanner.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/util/CommentRecorderScanner.java index 7f74c39..6abef12 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/util/CommentRecorderScanner.java +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/util/CommentRecorderScanner.java @@ -33,12 +33,12 @@ public class CommentRecorderScanner extends Scanner { // taskTags, taskPriorities, isTaskCaseSensitive); super(tokenizeComments, tokenizeWhiteSpace, checkNonExternalizedStringLiterals, false, false, - taskTags, taskPriorities); + taskTags, taskPriorities, true /*taskCaseSensitive*/); } /** * Set start position negative for line comments. - * @see org.eclipse.jdt.internal.compiler.parser.Scanner#recordComment(int) + * @see net.sourceforge.phpdt.internal.compiler.parser.Scanner#recordComment(int) */ public void recordComment(int token) { super.recordComment(token);