PHP Developer Tools

L'intégration n'est pas 100% parfaite (mais surtout parce qu'il faut passer un peu de temps si on veut vraiment avoir un paramétrage bien comme il faut - typiquement, je n'ai qu'une vérification du code avec les parseur du plug-in, pas à travers le binaire php-cli).