JumPHP IDE
Eine vollständige IDE für deine Spiele: PHP-Vervollständigung, zur Definition springen, Verwendungen suchen, umbenennen, überall suchen, Änderungen und Commit, Spielvorschau, Tests. Deine Änderungen sind Entwürfe (dieselben wie im Online-Editor) bis zum Commit, der sie an GitHub schickt.