Bonjour à tous !
Je suis à la recherche d'une sorte d'IDE PHP en ligne (que l'on pourrait par exemple installer sur son serveur web). Je n'aurais besoin que d'un éditeur avec coloration de code et éventuellement indentation automatique.
Ce doit être possible à développer en javascript ou en flash mais est-ce que ça a déjà été fait ?
Est-ce que quelqu'un connaitrait un outil de ce type ?
