Je viens de faire un nouveau script qui vous explique comme mettre un lien pour ajouter un site dans vos favoris. Simple, mais expliqué ;)
Sinon j’ai mis à jour les éditeurs de PHP, avec les dernières versions. Dans le courant de la semaine je m’attaquerai aux autres éditeurs.