--- /dev/null
+package net.sourceforge.phpeclipse.editors;
+
+import org.eclipse.core.runtime.CoreException;
+import org.eclipse.jface.text.IDocument;
+import org.eclipse.jface.text.IDocumentPartitioner;
+import org.eclipse.jface.text.rules.DefaultPartitioner;
+import org.eclipse.ui.editors.text.FileDocumentProvider;
+
+public class PHPDocumentProvider extends FileDocumentProvider {
+
+ /**
+ * Constructor for XMLDocumentProvider.
+ */
+ public PHPDocumentProvider() {
+ super();
+ }
+
+ /* (non-Javadoc)
+ * Method declared on AbstractDocumentProvider
+ */
+ protected IDocument createDocument(Object element) throws CoreException {
+ IDocument document = super.createDocument(element);
+ if (document != null) {
+ IDocumentPartitioner partitioner =
+ new DefaultPartitioner(
+ new PHPPartitionScanner(),
+ new String[] {
+ PHPPartitionScanner.HTML_TAG,
+ PHPPartitionScanner.HTML_COMMENT });
+ partitioner.connect(document);
+ document.setDocumentPartitioner(partitioner);
+ }
+ return document;
+ }
+}
\ No newline at end of file