mmm, while improving the wxwidgets php extension I noticed this behavior so I had to change header files location into the same directory but in plural form (includes) to prevent it's deletion, never thought of this as a bug, but an annoyance :) Would be nice to see this fix included, especially for big extensions that have a lot of header and source files. In this way headers can be kept on well known standard locations like the 'include' directory.

Comment on behalf of stas at php.net:

merged