improved PHP parser
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / core / util / CommentRecorderScanner.java
index 7f74c39..6abef12 100644 (file)
@@ -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);