JumPHP IDE
Un IDE completo para tus juegos: autocompletado de PHP, ir a la definición, buscar usos, renombrar, buscar en todo, cambios y commit, vista previa del juego, pruebas. Tus cambios son borradores (los mismos que los del editor en línea) hasta el commit, que los envía a GitHub.