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;
if (part != null && !((PHPEditor)part).equals(lastEditor)) {
SelectionListenerWithASTManager.getDefault().addListener((PHPEditor)part, this);
lastEditor = (PHPEditor)part;
- } else {
- System.out.println(part);
}
}
*/
private PHPEditor getJavaEditor() {
try {
- IEditorPart part = PHPeclipsePlugin.getActivePage().getActiveEditor();
+ IEditorPart part = /*PHPeclipsePlugin*/WebUI.getActivePage().getActiveEditor();
if (part instanceof PHPEditor)
return (PHPEditor) part;
else