Ao longo das linhas do comentário de Tim, recomendo que você crie um servidor de desenvolvimento que seja um ambiente idêntico ao seu servidor de produção. Então você deve criar contas para cada desenvolvedor para efetuar login com o ssh. Eles podem copiar ou gravar arquivos php e usar o interpretador de CLI do PHP tudo o que eles quiserem.