PHPDevShell

This is a fresh repository for PHPDevShell as I'm working on it everyday.

Some fresh ressources:

• the new (but very incomplete) online manual on Manula
• help us translate the content on POEditor
• the new bug tracker on YouTrack
• the Wiki and the FAQ are both on GitHub

Also IRC #phpdevshell on Freenode

This project is licensed under the LGPL 3 (see LICENSE).