Précédent   Forum des professionnels en informatique > PHP > Outils > EDI
EDI Forum d'entraide EDI pour les développeurs PHP. Avant de poster -> Cours EDI
Partagez cette discussion sur d'autres réseaux sociaux : Viadeo Twitter Google Facebook Digg Delicious MySpace Yahoo
Réponse Proposer ce sujet en actualité
 
Outils de la discussion
Publicité
'
Vieux 30/07/2007, 11h18   #1
Responsable Windows
 
Avatar de shawn12
 
Homme Thomas Garcia
Inscription : avril 2006
Messages : 3 350
Détails du profil
Informations personnelles :
Nom : Homme Thomas Garcia
Âge : 26

Informations forums :
Inscription : avril 2006
Messages : 3 350
Points : 4 256
Points : 4 256
Par défaut Éditeur PHP en ligne

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 ?
shawn12 est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 30/07/2007, 16h11   #2
Membre confirmé
 
Avatar de dam_moreyllo
 
Développeur Web
Inscription : mai 2004
Messages : 251
Détails du profil
Informations personnelles :
Âge : 27

Informations professionnelles :
Activité : Développeur Web

Informations forums :
Inscription : mai 2004
Messages : 251
Points : 225
Points : 225
Bonjour !

Il y a CodePress : http://codepress.org/
dam_moreyllo est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 31/07/2007, 14h18   #3
Responsable Windows
 
Avatar de shawn12
 
Homme Thomas Garcia
Inscription : avril 2006
Messages : 3 350
Détails du profil
Informations personnelles :
Nom : Homme Thomas Garcia
Âge : 26

Informations forums :
Inscription : avril 2006
Messages : 3 350
Points : 4 256
Points : 4 256
Salut,

C'est tout à fait ce que je cherchais !

shawn12 est déconnecté   Envoyer un message privé Réponse avec citation 00
Réponse Proposer ce sujet en actualité Cette discussion est résolue.
Outils de la discussion



Fuseau horaire GMT +2. Il est actuellement 20h45.


 
 
 
 
Partenaires

Hébergement Web