| Summary: | Migrate PHP Explorer to Project Explorer when visible | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | Michal Niewrzal <wywrzal> |
| Component: | PDT | Assignee: | PHP UI <php.ui-inbox> |
| Status: | CLOSED FIXED | QA Contact: | Sylvia Tancheva <silviya> |
| Severity: | normal | ||
| Priority: | P3 | CC: | zulus |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | All | ||
| See Also: |
https://git.eclipse.org/r/119600 https://git.eclipse.org/c/pdt/org.eclipse.pdt.git/commit/?id=65eceac4116ffa548f494115255d6f931688f602 |
||
| Whiteboard: | |||
| Bug Depends on: | |||
| Bug Blocks: | 478814 | ||
|
Description
Michal Niewrzal
New Gerrit change created: https://git.eclipse.org/r/119600 This is last bug to merge. Any objections? Gerrit change https://git.eclipse.org/r/119600 was merged to [master]. Commit: http://git.eclipse.org/c/pdt/org.eclipse.pdt.git/commit/?id=65eceac4116ffa548f494115255d6f931688f602 |