JumPHP IDE
Kompletne IDE dla twoich gier: uzupełnianie PHP, przejście do definicji, wyszukiwanie użyć, zmiana nazw, wyszukiwanie wszędzie, zmiany i commit, podgląd gry, testy. Twoje zmiany są szkicami (tymi samymi co w edytorze online) aż do commita, który wysyła je na GitHub.