Un IDE complet pour vos jeux : complétion PHP, aller à la définition, recherche des usages, renommage, recherche partout, modifications et commit, aperçu du jeu, tests. Vos modifications sont des brouillons (les mêmes que l'éditeur en ligne) jusqu'au commit, qui les envoie sur GitHub.