[pdt-dev] Update site problems related to plug-in names

[Wayne Beaton <wayne@xxxxxxxxxxx>]

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-inbox@xxxxxxxxxxx. Shouldn't there be at least one?

Thanks,

Wayne