Um IDE completo para os seus jogos: autocompletar PHP, ir para a definição, encontrar usos, renomear, buscar em tudo, alterações e commit, prévia do jogo, testes. Suas alterações são rascunhos (os mesmos do editor online) até o commit, que as envia para o GitHub.