+++ /dev/null
-package net.sourceforge.phpeclipse.phpeditor;
-
-/*
- * (c) Copyright IBM Corp. 2000, 2001.
- * All Rights Reserved.
- */
-
-import org.eclipse.jface.text.Position;
-
-public interface IPositionManager {
-
- void addManagedPosition(Position position);
-
- void removeManagedPosition(Position position);
-}