renameing files

[fredrik danerklint]

Hi!

I would like to know if there's any chance to rename all those .html to .php? 
I'm asking because I would like to run TUX infront of the webserver to speed 
up things. 

And second, I've seen that many other kde sites also exists in the web 
directory. Wouldn't be better if the mirrors also could handel the traffic 
for these sites, we do allready have the source.

-- 
//fredan