Gerenciador de arquivos simples com controle de versão

Question

Como o título sugere, estou procurando um script de gerenciador de arquivos simples que tenha alguma forma de sistema de controle de versão integrado.

Minhas necessidades são:

1. Precisa ser baseado na web (escrito em PHP usando o MySQL para armazenamento)
2. Preciso editar os arquivos sem movê-los. (Em outras palavras, se um arquivo reside em /public_html/somedir/somefile.php , eu quero poder editá-lo de lá sem a necessidade de criar uma nova pasta de projeto apenas para abrigar este arquivo.)
3. Um editor de arquivos simples e sem frescuras vai ficar bem, mas seria bom ter alguma forma de marcador de sintaxe embutido, se possível.
4. Precisa ter um sistema de controle de versão muito básico no qual eu possa adicionar, editar, excluir versões diferentes de um arquivo no qual estou trabalhando. (é aí que o banco de dados entra)
5. Deve ser capaz de suportar vários usuários com algum tipo de bloqueio de arquivo para impedir que dois usuários editem o mesmo arquivo ao mesmo tempo.
6. Precisa ser gratuito / de código aberto.

Basicamente, tudo que eu quero é um script que permita que eu faça o login nele e me apresente uma lista de todos os arquivos e diretórios localizados na minha conta de hospedagem. Eu gostaria de poder selecionar um desses arquivos, salvar uma cópia dele no meu banco de dados para que eu possa recuperá-lo se necessário, editar o arquivo e, finalmente, substituir o arquivo original pela minha versão editada quando terminar.

    

Answer 1

O Google Docs faz a maior parte disso ...