JumPHP IDE

ゲームのための本格的なIDE：PHPの補完、定義へ移動、使用箇所の検索、リネーム、全体検索、変更とコミット、ゲームのプレビュー、テスト。変更はコミットするまで下書き（オンラインエディタと同じもの）で、コミットするとGitHubに送信されます。