JumPHP IDE
Полноценная IDE для ваших игр: автодополнение PHP, переход к определению, поиск использований, переименование, поиск везде, изменения и коммит, предпросмотр игры, тесты. Ваши изменения — черновики (те же, что в онлайн-редакторе) до коммита, который отправляет их на GitHub.