JumPHP IDE
Un IDE completo per i tuoi giochi: completamento PHP, vai alla definizione, trova gli utilizzi, rinomina, cerca ovunque, modifiche e commit, anteprima del gioco, test. Le tue modifiche sono bozze (le stesse dell'editor online) fino al commit, che le invia a GitHub.