I think many people who use PHP don't realize that on most installations, adding "s" to the file extension (i.e. file.phps) turns the file into a source file. I believe Bill Humphries may be one person who doesn't realize this.
PHP Source Files
So in order for WebDAV to leave as php, you have to rename all your php files to phps (therefore affecting all associated links) seems impractical doesn't it?
mel, renaming as .phps is only one way to trigger source output. Other triggers can be automated. But I'm not familiar enough with WebDAV do provide detailed instructions. But it's possible, and you should be able to find the relevant information online.