| Summary: | PDT doc plugin should include a pre-built help index | ||||||
|---|---|---|---|---|---|---|---|
| Product: | z_Archived | Reporter: | Martin Oberhuber <mober.at+eclipse> | ||||
| Component: | PDT | Assignee: | PHP Doc <php.doc-inbox> | ||||
| Status: | CLOSED FIXED | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | CC: | jacek.pospychala, kalin.a, zhaozhongwei | ||||
| Version: | unspecified | ||||||
| Target Milestone: | --- | ||||||
| Hardware: | All | ||||||
| OS: | All | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Martin Oberhuber
Ping, could my patch be considered ? Ping, could my patch be considered please? This is really just a minimal change with measurable performance gain. hi, I will have a look at the patch,thanks for your contribution! Ping, has this been checked in by now ? Ping, could my patch please be checked in ? SR2 is almost there... hi Martin, sorry for late response. I applied your patch with slight modification (change to plugin.xml was not matching cleanly to HEAD) and invoked a new build to see if index is getting generated properly. thanks for your patience! Build is done, index folder gets generated, but it's empty. That's probably because PDT help content were recently moved from plugin to the web to make plugin more lightweight. Hmm, how is help search expected to work when content is on the web only ? I guess it doesn't. Opened #369635 Verified fixed. Closing... Kalin Yanev kalin.a@zend.com |