import java.util.ArrayList;
import java.util.List;
+import net.sourceforge.phpdt.internal.ui.text.JavaColorManager;
import net.sourceforge.phpeclipse.phpeditor.util.PHPColorProvider;
import net.sourceforge.phpeclipse.phpeditor.util.PHPWhitespaceDetector;
+import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.TextAttribute;
// };
- public PHPDocCodeScanner(PHPColorProvider provider) { // , IPreferenceStore store) {
+ public PHPDocCodeScanner(JavaColorManager provider, IPreferenceStore store) {
// super(manager, store);
// initialize();
createRules(provider);
/* create the rules for PHPDoc
*/
- protected List createRules(PHPColorProvider provider) {
+ protected List createRules(JavaColorManager provider) {
List list= new ArrayList();