change file extensions from html to php