import java.util.zip.ZipEntry;
import java.util.zip.ZipFile;
-import net.sourceforge.phpeclipse.phpmanual.PHPManualUiMessages;
+//import net.sourceforge.phpeclipse.phpmanual.PHPManualUiMessages;
//import net.sourceforge.phpdt.internal.debug.ui.PHPDebugUiMessages;
import net.sourceforge.phpdt.internal.ui.text.JavaWordFinder;
import net.sourceforge.phpdt.internal.ui.viewsupport.ISelectionListenerWithAST;
import net.sourceforge.phpeclipse.PHPeclipsePlugin;
import net.sourceforge.phpeclipse.phpeditor.PHPEditor;
import net.sourceforge.phpeclipse.phpmanual.PHPManualUIPlugin;
-import net.sourceforge.phpeclipse.ui.WebUI;
import org.eclipse.core.runtime.FileLocator;
import org.eclipse.core.runtime.Path;
*/
private PHPEditor getJavaEditor() {
try {
- IEditorPart part = /*PHPeclipsePlugin*/WebUI.getActivePage().getActiveEditor();
+ IEditorPart part = PHPeclipsePlugin.getActivePage().getActiveEditor();
if (part instanceof PHPEditor)
return (PHPEditor) part;
else