Update site problems related to plug-in names

I've filed bug 203794 to address an update site problem I
encountered 
today. The short version is that including ".php"
in the names of some 
files associated with the PDT features are confusing some of
our mirrors 
(they attempt to interpret these files as PHP). A duplicate
has already 
been filed.

Can somebody take a look at this and comment on the bug?

BTW: no committers from PDT appear to be watching 
php.core-inboxeclipse.org. Shouldn't there be at least
one?

Thanks,

Wayne
_______________________________________________
pdt-dev mailing list
pdt-deveclipse.org
http
s://dev.eclipse.org/mailman/listinfo/pdt-dev