For some time now I've been working with a designer who uses Dreamweaver, and who prefers to use its check in/out functinality as a means of updating a site remotely.

To accomodate the designer, I've tried switching to Dreamweaver too, only to find out that it is a very poor platform for developing PHP applications.

Does anyone know of a PHP IDE which supports the Dreamweaver check in/out functionality, so I can switch to a better IDE without interferring with the working habits of the designer?

Thanks in advance !