The essential tools for any PHP developer, including a PHP language
support, Git client, Mylyn and editors for JavaScript, HTML, CSS and
XML.

This package includes:

    Eclipse Git Team Provider
    Eclipse PHP Development Tools
    Mylyn Task List
    Eclipse XML Editors and Tools

**********
UPGRADING:
**********
if you find an error during Eclipse initialisation, check
these two files:

/opt/eclipse-php/configuration/config.ini
/opt/eclipse-php/eclipse.ini

If you haven't made modifications to those files, overwrite
them with config.ini.new and eclipse.ini.new.